t / t4018 / golang-funcon commit prune: check SEEN flag for reachability (c2bf473)
   1func RIGHT() {
   2        a := 5
   3        b := ChangeMe
   4}