Fixme for noalias deduction
(ii) Check whether the value is captured in the scope using AANoCapture.
FIXME: This is conservative though, it is better to look at CFG and check only uses possibly executed before this callsite.
Propagates caller argument's noalias attribute to callee.