Last entirely proved on 2021-07-08 on linux64

gnatprove -P test.gpr --no-axiom-guard --level=4
