k-Semantics: Added test from the Tex-Semantics, adapted syntax