==> x ;
==> y ;
z -> x * 2 + y ;
<== z ;