deferred class ABSTRACT_BACKTRACKING
Features exported to
ABSTRACT_BACKTRACKING_SEQUENCE