letrec x == 1/y;
       y == 0;
       z == x
in 1 + 2
