Member predicate Function :: mayHaveSideEffects
Holds if this function may have side-effects; if in doubt, we assume it may.
predicate
mayHaveSideEffects
(
)