let l = List.filter (fun (x,_,_) -> not (List.mem x showstoppers)) arities in
let p =
List.fold_left (fun p (x,pos,(xx : i_n_var)) -> if pos = -1 then p else
let n = match xx with `I(_,args) -> Listx.length args | _ -> 0 in
let v = `N(pos) in
let inst = make_lams v n in
let l = List.filter (fun (x,_,_) -> not (List.mem x showstoppers)) arities in
let p =
List.fold_left (fun p (x,pos,(xx : i_n_var)) -> if pos = -1 then p else
let n = match xx with `I(_,args) -> Listx.length args | _ -> 0 in
let v = `N(pos) in
let inst = make_lams v n in