Added definition of SIGNED-NOT-GREATER-INSTRUCTION.