Bug fix. Actions were being incorrectly generated on transitions in which the target is a substate of the source