Predicate hasPathWithoutUnmatchedReturn
Holds if there is a path without unmatched return steps from source to sink.
Import path
import semmle.javascript.dataflow.Configurationpredicate hasPathWithoutUnmatchedReturn(SourcePathNode source, SinkPathNode sink)