Revise constant expressions in spec