Improve precision of interference analysis. Allow sizeof(v.r1.r2) expressions.