Provides machinery for performing backward data-flow exploration.
Importing this module effectively makes all data-flow and taint-tracking configurations
isSource predicate. Instead, flow is tracked from any initial node (that is,
a node without incoming flow) to a sink node. All initial nodes are then treated as source
Data-flow exploration cannot be used with configurations depending on other configurations.
NOTE: This library should only be used for debugging and exploration, not in production code. Backward exploration in particular does not scale on non-trivial code bases and hence is of limited usefulness as it stands.