Replaced use of old ==-INSTRUCTION by use of new EQ-INSTRUCTION.
Replaced use of old ==-INSTRUCTION by use of new EQ-INSTRUCTION.

vtomole/SICL,clasp-developers/SICL,vtomole/SICL,clasp-developers/SICL,vtomole/SICL,clasp-developers/SICL,clasp-developers/SICL,vtomole/SICL