5 '(if a > b then c else d);
7 'if a > b then c else d;
13 '(if a then if b then if c then d else if e then f else g else if h then i else j else k);
15 'if a then 'if b then 'if c then d else 'if e then f else g else 'if h then i else j else k;
19 '(if a then b else d);
21 '(if a then b elseif c then false);
23 '(if a then b elseif c then d);
25 '(if a then b elseif c then d else f);
27 '(if a then b elseif c then d elseif e then false);
29 '(if a then b elseif c then d elseif e then f);
31 '(if a then b elseif c then d elseif e then f else h);
33 '(if a then b elseif c then d elseif e then f elseif g then false);
35 '(if a then b elseif c then d elseif e then f elseif g then h);
41 'if a then b elseif c then false;
43 'if a then b elseif c then d;
45 'if a then b elseif c then d else f;
47 'if a then b elseif c then d elseif e then false;
49 'if a then b elseif c then d elseif e then f;
51 'if a then b elseif c then d elseif e then f else h;
53 'if a then b elseif c then d elseif e then f elseif g then false;
55 'if a then b elseif c then d elseif e then f elseif g then h;
61 e: 'if a > b then c else d,
62 f: 'if c < d then a elseif c < b then e else g,
71 'if a then b elseif c then false;
73 'if a then b elseif c then d;
75 'if a then b elseif c then d else f;
77 'if a then b elseif c then d elseif e then false;
79 'if a then b elseif c then d elseif e then f;
81 'if a then b elseif c then d elseif e then f else h;
83 'if a then b elseif c then d elseif e then f elseif g then false;
85 'if a then b elseif c then d elseif e then f elseif g then h;