[axioms] check for assumed assertions in code

why3find doc reports on assumes { XXX } but what about other assumptions ?

Must also check the absence of inlined val