more tests
added support for tracing control flow statements in functions
fixed return statement finder, so it can detect return statement within statement constructs