+ Cic.context *
+ (* or list: goalno, goaltype, grey, depth, candidates: (goalno, c) *)
+ (int * Cic.term * bool * int * (int * Cic.term Lazy.t) list) list *
+ (* and list *)
+ (int * Cic.term * int) list *
+ (* last moves *)
+ Cic.term Lazy.t list
+