Removed redundant functions.
Added definition of EQUAL-INSTRUCTION.