deferred class ABSTRACT_BACKTRACKING_ALTERNATIVE
All features