b_ast_cleanup_rewrite_rules

add_pos(Pos,b(E,T,I),b(E,T,NewInfo)) :-
    (memberchk(nodeid(_),I) -> NewInfo=I ; append(Pos,I,NewInfo)).

apply_rewrite_rule_with_rename(RULEPRED,Expr,Type,Infos, FullNewExpr,NewType, FullNewInfos, Name) :-
    % TO DO: check if Expr can match any rule according to RULEPRED, create_fresh_ids can be expensive
    syntaxtransformation(Expr,Subs,_Names,NewSubs,ExprWithVars),
    mycall(RULEPRED,ExprWithVars,RuleType,Infos, ArgTypes,NewCopy,NewCType, NewCInfos, Name),
    create_fresh_ids(Subs,1,NewSubs,Renamings), %debug:debug_nl_time(renamings(RULEPRED,Renamings,Expr)),
    my_unify_types(Type,RuleType),
    get_argument_types(Expr,ExprArgTypes),
    %print(e(Name,Expr,ExprArgTypes)),nl,
    maplist(my_unify_types,ArgTypes,ExprArgTypes),
    (ground(RuleType) -> true ; print(unified(Type,RuleType)),nl),
    foldl(perform_rename,Renamings,b(NewCopy,NewCType,NewCInfos),NewTExpr),
    (extract_pos_infos(Infos,Pos)
    -> update_pos(NewTExpr,Pos,b(FullNewExpr,NewType,FullNewInfos))
    ; NewTExpr=b(FullNewExpr,NewType,FullNewInfos)
).

create_fresh_ids([],_,[],[]).

create_fresh_ids([Arg|T],Nr,Args,RT) :-
    is_ground_b_pattern(Arg),!, Args = [Arg|IT],
    N1 is Nr+1,
    create_fresh_ids(T,N1,IT,RT).

create_fresh_ids([Arg|T],Nr,[b(identifier(FRESHID),Type,[])|IT],[rename(FRESHID,Arg)|RT]) :-
    get_texpr_type(Arg,Type), get_fresh_id(Nr,FRESHID),
    N1 is Nr+1,
    create_fresh_ids(T,N1,IT,RT).

get_argument_types(EXPR,ArgTypes) :- safe_syntaxelement(EXPR,Subs,_,_,_),
    maplist(get_texpr_type,Subs,ArgTypes).

get_fresh_id(Nr,FRESHID) :- string_concatenate('___$FRESH$_',Nr,FRESHID).

is_ground_b_pattern(V) :- nonvar(V), get_texpr_expr(V,VE), nonvar(VE),is_ground_b_pattern_aux(VE).

is_ground_b_pattern_aux(boolean_false).

is_ground_b_pattern_aux(boolean_true).

is_ground_b_pattern_aux(bool_set).

is_ground_b_pattern_aux(empty_sequence).

is_ground_b_pattern_aux(empty_set).

is_ground_b_pattern_aux(integer(_)).

is_ground_b_pattern_aux(integer_set(_)).

is_ground_b_pattern_aux(max_int).

is_ground_b_pattern_aux(min_int).

is_ground_b_pattern_aux(float_set).

is_ground_b_pattern_aux(real_set).

is_ground_b_pattern_aux(string_set).

is_ground_b_pattern_aux(value(_)).

my_unify_types(T1,T2) :- (unify_types_strict(T1,T2) -> true ; format('*** Unify failed: ~w = ~w~n',[T1,T2]),fail).

mycall(b_ast_cleanup_rewrite_rules:rewrite_rule_mandatory,ExprWithVars,RuleType,Infos, ArgTypes,NewCopy,NewCType, NewCInfos, Name) :- !,
    rewrite_rule_mandatory(ExprWithVars,RuleType,Infos, ArgTypes,NewCopy,NewCType, NewCInfos, Name).

mycall(b_ast_cleanup_rewrite_rules:rewrite_rule_normalize,ExprWithVars,RuleType,Infos, ArgTypes,NewCopy,NewCType, NewCInfos, Name) :- !,
    rewrite_rule_normalize(ExprWithVars,RuleType,Infos, ArgTypes,NewCopy,NewCType, NewCInfos, Name).

mycall(RULEPRED,ExprWithVars,RuleType,Infos, ArgTypes,NewCopy,NewCType, NewCInfos, Name) :-
    print(call(RULEPRED)),nl,
    call(RULEPRED,ExprWithVars,RuleType,Infos, ArgTypes,NewCopy,NewCType, NewCInfos, Name).

normalization_rule_with_rename(Expr,Type,Infos, FullNewExpr,NewType, FullNewInfos, Name) :-
    apply_rewrite_rule_with_rename(rewrite_rule_normalize,Expr,Type,Infos, FullNewExpr,NewType, FullNewInfos, Name).

perform_rename(rename(ID,Arg),Expr,NewExpr) :-
    replace_id_by_expr(Expr,ID,Arg,NewExpr).

rewrite_rule_with_rename(Expr,Type,Infos, FullNewExpr,NewType, FullNewInfos, Name) :-
    apply_rewrite_rule_with_rename(rewrite_rule_mandatory,Expr,Type,Infos, FullNewExpr,NewType, FullNewInfos, Name).

update_pos(E,Pos,Res) :- !,
    transform_bexpr(b_ast_cleanup_rewrite_rules:add_pos(Pos),E,Res).