Added semerror tests with unimplemented semantics checks with should-be prefix