sicstus version of not, and code sanitation