(* Galla *)
-(* si suppone che tutte le tattiche sollevano solamente Fail? *)
+(* si suppone che tutte le tattiche sollevino solamente Fail? *)
+
(* TODO: x debug: i due tatticali seguenti non contano quante volte hanno applicato la tattica *)
+
+
+
+
(** tattica di prova per debuggare i tatticali *)
(*
let thens' ~start ~continuations ~status =