2:- module(lps_corner,[golps/1,golps/3]).    3
    4%:- system:use_module(library('../engine/db.P')).
    5:- module_transparent(golps/1).    6:- module_transparent(golps/3).    7
    8golps(Out):- golps(T,DFA, []),!,(Out=T->true;Out=DFA).
    9golps(T,DFAgraph,Options) :-
   10  ignore((
   11    \+ member(cycle_hook(_, _, _), Options),
   12    \+ member(background(_), Options),
   13    (   catch(lps_server_UI:lps_user_is_super, _, fail)
   14    ->  true
   15    ;   \+ member(timeout(_), Options)
   16    ))),
   17    visualizer:gojson(_File, [dc, silent|Options], [], T, DFAgraph).
   18
   19
   20:- user:ensure_loaded(library(dialect/lps)).   21:- current_predicate(swish:is_a_module/0) -> true ; asserta(swish:is_a_module).   22
   23:- interpreter:use_module(library('../engine/interpreter.P')).   24:- visualizer:use_module(library('../utils/visualizer.P')).   25
   26:- lps_term_expander:ensure_loaded(library('../swish/term_expander')).   
   27
   28
   29
   30:- if(current_module(swish)).   31:- user:ensure_loaded('../swish/user_module_file').   32:- else.   33%:- user:ensure_loaded('../swish/user_module_file').
   34%:- user:ensure_loaded('../swish/user_module_repl').
   35:- endif.