Removed commented-out code that will very likely not be needed.
Removed commented-out code that will very likely not be needed.

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