kframework/c-semantics — pull request #10 by liyili2 (2014-06-04 04:27:15+00:00)
Title: some fixes in terms of map

Mainly, make a intermediate function to get the keys we want.