Changed which assumptions are kept after locally evaluating a quantified expression
Changed which assumptions are kept after locally evaluating a quantified expression

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