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