Member predicate Function::mayHaveSideEffects

Holds if this function may have side-effects; if in doubt, we assume it may.