First working aliasing untangling. Working for one scenario, still, many bugs remain.