When external calls and unresolved dynamic internal calls are interpreted, values of whole aliases are passed, so that such calls are treated as rewriting their parameters, with the result that the values of the whole aliases are assumed to be rewritten and are set to ‘NonConst’.
It is assumed that interprocedure dynamic calls do not rewrite any context variables (except parameters).