add find-leaving-var
add tests
add utility functions
add tests
add tests