Implementando predicado blocos_correspondem