Cluster lib/backtracking/internal
ABSTRACT_BACKTRACKING_GLOBALS
some globals
ABSTRACT_BACKTRACKING_POOL