more position information for oracles (e.g. "skip_proof" for 'sorry'), requires Proofterm.proofs := 1;