let auto =
GrafiteAst.AutoBatch
(loc, ([],["depth","2";"timeout","1";"type","1"])) in
(try
let auto = apply_tactic ~disambiguate_tactic ("",0,auto) in
let _ = eval_tactical status (tactic_of_ast' auto) in
let auto =
GrafiteAst.AutoBatch
(loc, ([],["depth","2";"timeout","1";"type","1"])) in
(try
let auto = apply_tactic ~disambiguate_tactic ("",0,auto) in
let _ = eval_tactical status (tactic_of_ast' auto) in