Assert that compatible realisations have the same dependencies

Should always hold, but that’s not necessarily obvious, so better
enforce it