ocl2iq enhancements: let-in, negative code