A problem specific branching step can be enforced by the redefinition of the virtual function ABA_SUB::exceptionBranch() (see Section ).
).