Cut

ISO cut '!'/0. This RuleWrapper only registers the !/0 signature as a defined predicate (its default, unused, body is just true): StateRuleSelection recognises ! via its own isCut() check before it ever reaches ordinary rule resolution, and performs the actual pruning of the choice-point queue directly.