| Assumption of loc
| Auto of loc * int option * int option * string option * string option
(* depth, width, paramodulation, full *) (* ALB *)
| Assumption of loc
| Auto of loc * int option * int option * string option * string option
(* depth, width, paramodulation, full *) (* ALB *)