()app(app(app(app(filter2, false), fun[3]), x[1]), xs[2]) -> ()app(app(filter, fun[3]), xs[2])
()app(app(app(app(filter2, false), fun[3]), x[1]), xs[2]) -> ()app(filter, fun[3])
()app(app(app(app(filter2, true), fun[3]), x[1]), xs[2]) -> ()app(app(cons, x[1]), app(app(filter, fun[3]), xs[2]))
()app(app(app(app(filter2, true), fun[3]), x[1]), xs[2]) -> ()app(app(filter, fun[3]), xs[2])
()app(app(app(app(filter2, true), fun[3]), x[1]), xs[2]) -> ()app(cons, x[1])
()app(app(app(app(filter2, true), fun[3]), x[1]), xs[2]) -> ()app(filter, fun[3])
()app(app(filter, fun[3]), app(app(cons, x[1]), xs[2])) -> ()app(fun[3], x[1])
()app(app(filter, fun[3]), app(app(cons, x[1]), xs[2])) -> ()app(app(app(app(filter2, app(fun[3], x[1])), fun[3]), x[1]), xs[2])
()app(app(filter, fun[3]), app(app(cons, x[1]), xs[2])) -> ()app(app(app(filter2, app(fun[3], x[1])), fun[3]), x[1])
()app(app(filter, fun[3]), app(app(cons, x[1]), xs[2])) -> ()app(app(filter2, app(fun[3], x[1])), fun[3])
()app(app(filter, fun[3]), app(app(cons, x[1]), xs[2])) -> ()app(filter2, app(fun[3], x[1]))
()app(app(map, fun[3]), app(app(cons, x[1]), xs[2])) -> ()app(fun[3], x[1])
()app(app(map, fun[3]), app(app(cons, x[1]), xs[2])) -> ()app(app(cons, app(fun[3], x[1])), app(app(map, fun[3]), xs[2]))
()app(app(map, fun[3]), app(app(cons, x[1]), xs[2])) -> ()app(app(map, fun[3]), xs[2])
()app(app(map, fun[3]), app(app(cons, x[1]), xs[2])) -> ()app(cons, app(fun[3], x[1]))
()app(app(map, fun[3]), app(app(cons, x[1]), xs[2])) -> ()app(map, fun[3])
()app(f, app(s, x[1])) -> ()app(app(g, x[1]), x[1])
()app(f, app(s, x[1])) -> ()app(f, app(app(g, x[1]), x[1]))
()app(f, app(s, x[1])) -> ()app(g, x[1])
(nodes : 19, edges : 198)