nv-vn

    a : la   b : lb   a := b
   --------------------------
             a : lb

   a := b :>>
   doSomething()

         b : lb      d : ld
   -------------------------------
    a := b :>> c := d : max lb ld

    x = user.firstName;
    y = random()