Member predicate ThrowingFunction::mayThrowException

Holds if this function may throw an exception during evaluation. If unconditional is true the function always throws an exception.