class BACKTRACKING_NODE_UNDER_CUT_POINT
-
node_not_void: node /= Void
require
-
value_not_void: value /= Void
ensure
-
definition: node = value
-
node_not_void: node /= Void
require
-
value_not_void: value /= Void
ensure
-
definition: node = value
-
node_not_void: node /= Void