internal transitions may now trigger an auto transition (typically which has its guard activated during the internal transition)