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

