T=d ld li f mf gi cd cf cld V=x,y R=-6,6,1 F=((x+4+y) != 6) C=fp_nequal(x+4+y, 6)