val disj :
    Ast_cocci.rule_with_metavars list -> Ast_cocci.rule_with_metavars list