Implements syntax and type checking for jg and jne instructions.