kframework/k — pull request #1142 by dwightguth (2014-10-31 21:11:21+00:00)
Title: change krun to normalize anonymous variables in output

This causes krun to be unaffected by the static counter of anonymous variables.

@yilongli please review