Do disjunction elimination after abduction; include residuum in postconditions.
Reverting "Do disjunction elimination after abduction; include residuum in postconditions."
Revert "Do disjunction elimination after abduction; include residuum in postconditions."

This reverts commit b521bac3b08cbd83b112e1e829d1649f66bcb7fe.