Test cases for semantics