Don't do trace when `with` doesn't match

This breaks IDESlave support. RE #879
Merge pull request #1380 from david-christiansen/no-trace-on-with

Get rid of `trace` in error def