Disabled caching of fvf-definitions in QuantifiedChunkSupporter.withValue. It was unsound (because it didn't consider branching conditions), and it doesn't seem to have a positive effect on the run-time anyway.
Disabled caching of fvf-definitions in QuantifiedChunkSupporter.withValue. It was unsound (because it didn't consider branching conditions), and it doesn't seem to have a positive effect on the run-time anyway.

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