kframework/k — pull request #698 by radumereuta (2014-07-04 00:53:58+00:00)
Title: Fix var type inference2

Giving it another try.