Adjacency refinement; check the cover's interface against the adjacency's