let new' = Indexing.superposition_left env (snd active) selected in
let metasenv, context, ugraph = env in
let names = names_of_context context in
- List.iter (fun (_,_,x) -> prerr_endline ("X: " ^ CicPp.pp x names)) new';
selected::active_goals, passive_goals @ new'
| _::tl -> aux tl
in