search for: super_typ

...ext element of 'y' with the next element of 'x', if not the same, return false. When we reach the end of either 'x' or 'y', return true. If we only care about alias between scalar accesses, the above rules can be simplified. alias(scalar access x, scalar access y) = super_type(x,y) or super_type(y,x) where super_type(x,y) is true if 'x' can reach 'y' via super-type relation. Implementing the Hierarchy -------------------------- We can attach metadata to both scalar accesses and aggregate accesses. Let's call scalar tags and aggregate tags. Each tag...