Add precondition check for constant propagation
Add precondition check for constant propagation

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

ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit