kframework/k — pull request #287 by radumereuta (2014-03-18 21:33:43+00:00)
Title: Fixing an issue with Tokens creating ambiguities with variables.

Requested by @andreistefanescu