A test suite with differing models is a big pain (tm)