tests

Verify how the analysis handles aliasing through fields X and Y of the same type (U) x----------->{U.u:T.s.......} | | V {taint} ^ | | y------------>{U.u:T.s-------] Verify how the analysis handles aliasing through fields X and Y different types x----------->{U.u:T.s.......} | | V {taint} ^ | | y------------>{V.u:T.s-------] f is not called via a go function, instead the go function is inside the body of f.