Propositional logic expressions added to the transitions