Add checkPostCondition to Literalize