Add precondition check for constant propagation

This precondition ensures that arg.m_v is defined when propagating
constants in commutative monoids.