[SCEV] identical instructions don't compute equal values