throwOnSideEffect

Whether to throw an exception if side effect cannot be ruled out during evaluation.