fix "IsZero (Pred (If TTrue (Succ Zero) Zero))"