added ability to filter which vars should be emitted
added pretty print support for CastExp and ConstDecl
added pretty printer support for EmptyBody
Merge branch 'master' of git@github.com:sireum/core.git