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