Check not only value equality of constants in Literalize postcondition but also type eqality