Added 3 tests for mixed ALWAYS/NEVER.
Added 3 tests for mixed ALWAYS/NEVER.

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