Add assertions and failing tests for semantics not yet defined.