:- use_module(['Parser/addDifflists']).
:- use_module(['Parser/addTree']).

term_expansion(Term,Expandiert) :-
    addTree:translate(Term,Exp),
    addDifflists:translate(Exp,Expandiert).