Copy propagation now also supports cases in which a local has multiple equivalent constant-valued definitions