Fixed Combining Constants When Canonicalizing Terms
Fixed Combining Constants When Canonicalizing Terms

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie