Verification, Induction, Termination Analysis door