Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival