Remove duplicated check.

The loaded specifications are rejected already in #gather_dependencies,
so this condition cannot trigger (and the test suite is green).