added (hopefully) incorrect tests for semantic stage