N>PKTX_TX_NIL’ constraint equation