Cover Test, Extended Modularity Test (renewed, some files were not
committed)