2:- ensure_loaded(dmiles).    3
    4:- multifile file_search_path/2.    5:- dynamic file_search_path/2.    6
    7:- ensure_loaded_if_exists(library(prompt)).    8
    9:- ensure_loaded(home(argument_types)).   10:- ensure_loaded(home(bu_basics)).   11:- ensure_loaded(home(clause_heads)).   12:- ensure_loaded(home(div_utils)).   13:- ensure_loaded(home(environment)).   14:- ensure_loaded(home(evaluation)).   15:- ensure_loaded(home(filter)).   16:- ensure_loaded(home(flatten)).   17:- ensure_loaded(home(g1_ops)).   18:- ensure_loaded(home(g2_ops)).   19:- ensure_loaded(home(interpreter)).   20:- ensure_loaded(home(kb)).   21:- ensure_loaded(home(lgg)).   22:- ensure_loaded(home(show_utils)).   23:- ensure_loaded(home(td_basic)).   24:- ensure_loaded(home(tdref_it)).   25:- ensure_loaded(home(var_utils)).   26:- ensure_loaded(home(newpred)).   27:- ensure_loaded(home(gencon)).   28:- ensure_loaded(home('gencon_instances/rul.pl')).   29:- ensure_loaded(home('gencon_instances/constrained_clauses.pl')).   30:- ensure_loaded(home('gencon_instances/foil.pl')).   31
   32:- retractall(interpreter:depth_bound(_)), 
   33   assert(interpreter:depth_bound(10)).