SSA.StateNode
The type of states: a free algebra of the domain signature
type t = private
| Entrypoint
| Loc of Ast.Program.Loc.t
| Assume of Ast.Program.SSAExpr.t * SSA_State.t
| Join of StateBindingsSet.t