Fixed scheduling for assert and assume. Fixed isNormal state check to
take into account assumption breach.