deferred class ABSTRACT_BACKTRACKING_POOL [X_ ->
ABSTRACT_BACKTRACKING_POOLABLE
]
Features exported to
INTERNALS_HANDLER