:- set_flag(print_depth, 100).
:- set_flag(variable_names, off).
:- set_flag(occur_check, on).
 
