Hi, I think the new test case testsuite/semko/utrace02.stp isn't in correct directory. It will generate the parse error, not semantic error, should be put into parseko/utrace02.stp. Otherwise, parseok/semko.exp would fail. Best regards, Wenji