% :-ensure_loaded('../tableau/liter').
:-ensure_loaded(lite).
% :-ensure_loaded('../Tokio/initm').
% :-fcompile(lite:disp).
:-ensure_loaded(lite:disp).

% :-com([bou,gi],'tmp.out').
% :-prolog_flag(single_var_warnings, _, off).

% :-com([bou],'tmp.out').

a :-write('To do demonstration,
Start Lite verifier
     ?- display.
Load file gi?.lite.
Verify it.
Generate it.
Run Tokio command toy0.
').

:- display.

:- halt.