simple tracing (without checking for cycles yet)