Converted tests for instrumentation metaprogramming to use assertions