let brab system = Oracle.init system; if only_forward then exit 0; reinstall_sigint (); search_and_backtrack [] system