deferred class ABSTRACT_BACKTRACKING
All features