let n_bot = try Util.index_of "BOT" free with Not_found -> min_int in\r
let n_pac = try Util.index_of "PAC" free with Not_found -> min_int in\r
let n_bomb = try Util.index_of "BOMB" free with Not_found -> min_int in\r
+ let n_z = try Util.index_of "Z" free with Not_found -> min_int in\r
let fix lev v =\r
if v = lev + n_bot then `Bottom\r
else if v = lev + n_pac then `Pacman\r
else if v = lev + n_bomb then `Lam(true, `Bottom)\r
- else `Var(v,1) in (* 1 by default when variable not applied *)\r
+ else if v = lev + n_z then `Var(lev, 0) (* FIXME why zero? *)\r
+ else `Var(v,1) in (* 1 by default when variable not applied *)\r
(* Fix arity *)\r
let open Num in\r
let exclude_bottom = function\r