Parameter MakeDF.1-St
val do_node : IR.Procdesc.Node.t -> t -> t list * t listPerform a state transition on a node.
val proc_throws : IR.Procname.t -> throwsCan proc throw an exception?
MakeDF.1-Stval do_node : IR.Procdesc.Node.t -> t -> t list * t listPerform a state transition on a node.
val proc_throws : IR.Procname.t -> throwsCan proc throw an exception?