fuse the map from line 877: `case Widened(param, tempVal) => (param.symbol, tempVal.symbol)`?