Common subexpression elimination now works