New language construct "transitions <context> if <group>.<context>"

Conditions for context transitions are added. Locally tested.