Rethinking Classical Precondition Formulas of Changes