let b  := SUB1 0 in
let id := lam x . x in
if GEZ b 
then id 1 
else id 2