let
descr =
"call the alt-ergo prover on the generated proof obligations"