Prover | BATrace