Introduced the first step of alias analysis: Direct and Unknown. Direct means that the source is really there.