let dautomaton = ref false;;
let debugging = ref false;;
let emptiness_check = ref true;; 
let negate_automaton = ref true;;
let certificate = ref false;;
let allfun = ref false;;
let outputfile = ref ""
let flow = ref true
let redstep = ref 100000
let bdd_mode = ref 0;;
let add_flow_cts = ref false;;
let profile = ref false;;
let verbose = ref false;;
let report_type_env = ref true;;
let ce = ref true;;
let subty = ref false;;
let normalize = ref false;;
let normalization_depth = ref 1;;
let compute_alltypes = ref false;;
let subtype_hash = ref false;;
let nosubtype = ref false;;
let ty_of_term = ref false
let overwrite = ref true
let incremental = ref true
let merge_vte = ref false
let eager = ref true
let logging = ref false
