[Attributor][MemBehavior] Fallback to the function state for arguments
Even if an argument is captured, we cannot have an effect the function
does not have. This is fine except for the special case of inalloca as
it does not behave by the rules.
TODO: Maybe the special rule for inalloca is wrong after all.