- let t1, seen = aux seen (SOF.elements (repr x b).one_s_eq) in
- let t2, seen = aux seen (SOF.elements (repr x b).one_s_ge) in
- let t3, seen = aux seen (SOF.elements (repr x b).one_s_gt) in
- let t4, seen = aux seen tl in
+ let t1, seen = aux (k+1) seen (SOF.elements (repr x b).eq_closure) in
+ let t3, seen = aux (k+1) seen (SOF.elements (repr x b).gt_closure) in
+ let t2, seen = aux (k+1) seen (SOF.elements (repr x b).ge_closure) in
+ let t4, seen = aux k seen tl in