Fixed suspend in propositional logic
Merged from heejong