kframework/k — pull request #1149 by dwightguth (2014-11-03 23:04:02+00:00)
Title: add trace for "common keys" error

@yilongli please review

Please also consider places where a well placed trace frame in code you write in the future will make it easier for K users to develop.