Module TaintTracking::Cached

Module existing only to ensure all taint steps are cached as a single stage, and without the the Unit type column.

Import path

import javascript

forceStage
genericStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge, which doesn’t fit into a more specific category.
heuristicStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge, contribued by the heuristics library.

Public taint step relations.