Abort Proof Tree