First and foremost, the cause of aliasing - the existence of branch-fan-in nodes in program control flow graph - is investigated in depth, and the minimal flow graph structure giving birth to aliasing ...