:- use_module([addDifflists,addTreeCFG]).

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

