don't repeat self in NuSMVBackendTestSuite
error reporting to figure out why width inference sometimes fails