Proper audit logging instead of std::cerr hacks
Fixed bugs in PATHS(...) evaluation
Fixed and re-enabled --tco-called-functions