main;recursive;recursive;recursive;helper 1
main;recursive;recursive;helper 2
main;not;recursive 4