(declare-const var_34497 Bool)
(declare-const vg1 Bool)
(assert (! var_34497 :interpolation-group vg0 vg1))