:- use_module(['Parser/addTree']).
term_expansion(Term,Expandiert) :-
    addTree:translate(Term,Expandiert).

