kframework/k — pull request #777 by yilongli (2014-08-02 05:21:27+00:00)
Title: preserver original names of rule variables in the Java backend

Something I did in the past is unnecessary. It only makes the intermediate results of rewriter/prover really hard to read.