Built-in predicates overridden within entities with a declaration but without any definition would not be reported when the `redefined_built_ins` is set to `warning`