Add more aliasing patterns.

We now recognize patterns like "array[variable + const]" as ir_no_alias,
if the array and variable are identical, but consts different.