[henshin-dev] loop transitions in state space example

[Daniel Jungblut <jungblut.d@xxxxxxxxx>]

Dear Christian,

I am just exploring the different henshin features and have a question 
concerning the GossipingGirls State Space example:

Why can there be loop transitions, meaning that secrets will be shared 
between girls that have already shared their secrets, if the NAC 
(already existing transitions between a girl and the secret of another 
are marked "forbid") should prevent the rule "exchangeSecrets (g1, g2)" 
from beeing applied?

Thanks in advance!

Cheers,

Daniel