which is:
- fun truth_value ->
+ let eliminate_non_Qxs = fun truth_value ->
if truth_value
then unit_set (
- let eliminate_non_Qxs = fun (r, h) ->
+ fun (r, h) ->
let obj = List.nth h (r 'x')
let (a, r', h') = (obj, r, h)
in let u' = (fun e -> unit_dpm (Q e)) a