Extraction: Make undefined constants break compilation rather than execution. (Fix for bug #15746)
Extraction: Make undefined constants break compilation rather than execution. (Fix for bug #15746)

jpdeplaix/why3,ssaavedra/why3,ssaavedra/why3,ssaavedra/why3,douglas-larocca/why3,douglas-larocca/why3,douglas-larocca/why3,jpdeplaix/why3,jpdeplaix/why3