Fixed early abortion in copy and let propagation and added eta reduction in IL1