val insert_plus : Ast0_cocci.rule -> Ast0_cocci.rule -> bool -> unit
(* bool is true if no isos *)