By default, do not perform abduction for postconditions on the first iteration. Correspondingly, remove atoms containing recursive-call postcondition parameters from the conclusion.