Update OPTIMIZATIONS
Improve CONSTANTP handling of THE