Member predicate BuiltinFunction::isPure

Holds if this function is pure, that is, it has no observable side effects and no non-determinism.