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

