kframework/k — pull request #635 by dwightguth (2014-06-19 18:34:21+00:00)
Title: fix code for computing least sort of KItems

I fully expect removing this nasty hack from Context.java will break things. So don't review until you see the tests pass.