T=d ld li f mf gi cd cf cld
V=x,y,z
R=-1,1,1
F=if(x, y<1, y|z)
C=fp_truth(x)!=0 ? fp_less(y,1) : fp_or(y,z)
