ATS-parse-emit-CIL: adding some test cases (fact and fact2).