kframework/k — pull request #1222 by dwightguth (2014-12-02 20:36:09+00:00)
Title: solve deep rewrites in function rules in java backend

@yilongli please review