Type for the dataflow API.

`type t`````
`type state`````
`type transition````=`

`|` `Dead_state`
`|` `Transition of state * state list * state list`

``
`val join : state list ‑> state ‑> state`
`val run : InferIR.Tenv.t ‑> InferIR.Procdesc.t ‑> state ‑> InferIR.Procdesc.Node.t ‑> transition`

Run the dataflow analysis on a procedure starting from the given state. Returns a function to lookup the results of the analysis on every node