:- dynamic option/2,eat/6.
:- discontiguous option/2.

term_expansion((Table is H,Hs),Out) :-  !,
	headers((Table is H,Hs),Out).
term_expansion(X=Y, []) :- 
	demand(X,Y).

term_expansion((A,B),Term) :-
	c2l((A,B),L),
	option(last,Table),
	Term =.. [Table|L],
    print(Term),nl.