add IVerifyConstraint protocol, call in ConstraintStore addc, addcg now
fails if addc return a false-y value.