Module for creating cfg nodes and other utility functions related to them.

`val is_binary_assign_op : InferGenerated.Clang_ast_t.binary_operator_info ‑> bool`
`val create_prune_node : InferIR.Procdesc.t ‑> branch:bool ‑> negate_cond:bool ‑> InferIR.Exp.t ‑> InferIR.Sil.instr list ‑> InferBase.Location.t ‑> InferIR.Sil.if_kind ‑> InferIR.Procdesc.Node.t`
`val is_true_prune_node : InferIR.Procdesc.Node.t ‑> bool`