Constraints

In reply to Akhil Mehta:

Sorry, didn’t notice that a,b, and c were 16 bits. You can do

signed'( 32'( a-b-c ) ) > 0; // or
int'( a-b-c ) > 0;