Fix bug with symbolic interpretation of >=

This generates the bytecode op_jngreatereq, which was generating the wrong symbolic condition.