However, if we have information about pointers, the constant propagation process could make a query like: can x be an alias of *y?
Међутим, ако имамо информације о показивачима, онда је стални процес простирања могао да буде упит као што је: да ли x може бити алијас од *y?