k-Framework: Removed bug which was caused by a parsing ambiguity
k-Framework: unified variable names in tests