Finishing the implementation of the CSE elimination