[Test] Verified called witness.
Previously, the test didn't actually verify that the called witness
method was the witness method from the right method--all the methods had
the same implementation and just forwarded the type along to be printed.
Now an id specific to each method is printed as well.
