Bug fizes on Transition2SourceGuardRule. There problems when generating guards for junctions