Changed the initialization checking. And the state machines generated
automatically for the CTL