ID:154041 State <name> contains multiple incoming transitions, but all equations are always FALSE

CAUSE: The state contains multiple incoming transitions, but all the equations are always FALSE. If all incoming transitions are always FALSE, this state will never be reached.

ACTION: Make sure the incoming transitions are not always FALSE.