Currently, if you use separate_storage assume operand bundles to declare that two pointers don't alias, the attributor sees that call to llvm.intr.assume as potentially capturing the pointer, which it does not, in reality, do.