Definition Cond : Cobham :=
Rec (Proj 3 0) (Proj 5 4) (Proj 5 3) (
Comp 4 Smash [
Comp 4 (Succ true) [Proj 4 1];
Comp 4 Smash [
Comp 4 (Succ true) [Proj 4 2];
Comp 4 (Succ true) [Proj 4 3]
]
]
).

Lemma rec_bounded_Cond : rec_bounded' Cond.