Add in incoherent isntances test.