deferred class ABSTRACT_BACKTRACKING_ALTERNATIVE
Features exported to
ABSTRACT_BACKTRACKING