Consts(ifte(t, ifte(f, f, f), t));
Consts(ifte(ifte(ifte(t, f, f), t, t), f, f));
Consts(sc(sc z));
Consts(pd(sc(sc z)));
Consts(pd(pd(sc(sc z))));

size(ifte(t, ifte(f, f, f), t));
size(ifte(ifte(ifte(t, f, f), t, t), f, f));
size(sc(sc z));
size(pd(sc(sc z)));
size(pd(pd(sc(sc z))));

depth(ifte(t, ifte(f, f, f), t));
depth(ifte(ifte(ifte(t, f, f), t, t), f, f));
depth(sc(sc z));
depth(pd(sc(sc z)));
depth(pd(pd(sc(sc z))));

eval(ifte(t, ifte(f, f, f), t));
eval(ifte(ifte(ifte(t, f, f), t, t), f, f));
eval(sc(sc z));
eva(pd(sc(sc z)));
eval(pd(pd(sc(sc z))));

evalast(ifte(t, ifte(f, f, f), t));
evalast(ifte(ifte(ifte(t, f, f), t, t), f, f));
evalast(sc(sc z));
evalast(pd(sc(sc z)));
evalast(pd(pd(sc(sc z))));