Comments added on LiftedRootStatemachine2TypingInvariantRule