3: failure in widening
(Vvar "var0", []) (initial approximation)
(Mkarrow(Vvar "var17", Mkarrow(Mkarrow (Vvar "var15", Vvar "var8"),
Mkarrow (Intero, Mkarrow (Vvar "var15", Vvar "var8")))),
Mkarrow (Vvar "var17", Mkarrow(Mkarrow (Vvar "var13",
Mkarrow (Mkarrow (Vvar "var13", Vvar "var15"), Vvar "var8")),
Mkarrow(Intero, Mkarrow (Vvar "var15", Mkarrow (Vvar "var17", Vvar "var8"))))); .......])
(Mkarrow (Mkarrow (Vvar "var43", Vvar "var43"),Mkarrow
(Mkarrow (Vvar "var43", Vvar "var36"),
Mkarrow (Intero, Mkarrow (Vvar "var43", Vvar "var36")))),
[...…; Vvar "var8", Mkarrow (Mkarrow (Vvar "var43", Vvar "var43"), Vvar "var36"); ...])
(Mkarrow (Mkarrow (Vvar "var43", Vvar "var43"),
Mkarrow (Mkarrow (Vvar "var43", Vvar "var36"),
Mkarrow (Intero, Mkarrow (Vvar "var43", Vvar "var36")))), [...])