let rec filter = function
| [] -> []
| codomain_item :: tl ->
+ debug_print (sprintf "%s CHOSEN" (fst codomain_item)) ;
let new_env = Environment.add item codomain_item current_env in
(match test_env new_env remaining_dom with
| Ok (term, metasenv) ->