the decision nodes specify a predicate condition