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
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