added unit tests to prove that we only need method traces, not
necessarily from execution