class BACKTRACKING_NODE_CUT_AND_FALSE
All features