Modified why3-call-pvs