This patch adds a test where we currently incorrectly determine noalias, because the sign of Scale is adjusted after 91fa3565.