Created failed test cases for semantic_check.ml