Add checkPostCondition to Literalize
Check not only value equality of constants in Literalize postcondition but also type eqality
Fix Literalize: (Long(2):Any) == (Int(2): Any) but constants aren't.