:- use_module([addDifflists,addDepth]).

term_expansion(Term,Expandiert) :-
    addDepth:translate(Term,ExpTerm),
    addDifflists:translate(ExpTerm,Expandiert).

