Added INIT command to check consistency of initial states only