Adapting eqc_ci to find the cover property