[Bug 768538] New: Review Request: why3 - Software verification platform