Returned incorrect result from FunctionsSupporter.verifyAndAxiomatize
Returned incorrect result from FunctionsSupporter.verifyAndAxiomatize

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