Improve description of the new `undefined_predicates` flag