Added test for FOR - ON - BY with non-trivial BY.
Added test for FOR - ON - BY with non-trivial BY.

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