new testcases for semantic analysis