k-Semantics: Fixed issue with parser ambiguity