1.0.16.4: correct nested DX reasoning

1.0.16.4: correct nested DX reasoning

 * Propagate dynamic-extentness to an argument of a function whose
   result is going to be dx-allocated only if all uses of the argument
   lvars are good-for-dx combinations -- otherwise we may accidentally
   cause DX allocation of things accessible via other variables.