Active Piston Prover