deferred class ABSTRACT_BACKTRACKING
Features exported to
INTERNALS_HANDLER