Member predicate TaintTracking::SharedTaintStep::heuristicStep

Holds if pred → succ should be considered a taint-propagating data flow edge contributed by the heuristics library.

Such steps are provided by the semmle.javascript.heuristics libraries and will default to be being empty if those libraries are not imported.