Member predicate Function :: isSideEffectFree
Holds if this function is side-effect free (conservative approximation).
predicate
isSideEffectFree
(
)