T=d li
V=x
R=0,1,1
F=(5!=3)+x+(4!=4)
C=fp_nequal(5,3)+x+fp_nequal(4,4)
