Bug in optimal-cover + helper function to get initial cover