Predicate localExceptionStepWithAsyncFlag
Holds if an exception thrown from pred can propagate locally to succ.
The async flag is true if the step involves wrapping the exception in a rejected Promise.
Import path
import semmle.javascript.dataflow.internal.FlowStepspredicate localExceptionStepWithAsyncFlag(Node pred, Node succ, boolean async)