The abstract constraint test is now generic.