Semantics tests added.