Predicate BuiltinRedefined::acceptableRedefinition

Holds if id is a redefinition of a standard library function that is considered acceptable since it merely introduces a local alias to the standard function of the same name.

predicate acceptableRedefinition(Identifier id)