deferred class ABSTRACT_BACKTRACKING_ALTERNATIVE
Features exported to
INTERNALS_HANDLER