Re: [bv-dev] Value extraction open issue #2: per constraint ConstraintsApplyTo?