let assume_node_no_check { tag = id } ap = let f = F.make F.Not [make_formula ap] in if debug_smt then eprintf "[smt] assume node: %a@." F.print f; SMT.assume ~id f