Fixed a bug in the translation of quantifiers in domain definitions; instead of the auto-triggered body, the regular body of the quantification was translated
Fixed a bug in the translation of quantifiers in domain definitions; instead of the auto-triggered body, the regular body of the quantification was translated

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors