deferred class ABSTRACT_BACKTRACKING_SEQUENCE
All features