 :- add_task( expand(1,var) ).

 :- tlim(5).
