val insert_plus : Ast0_cocci.rule -> Ast0_cocci.rule -> unit