Considerando a ação de execução de título extrajudicial, é correto afirmar que

a) caso a petição inicial se ache desacompanhada do título executivo, deverá ser indeferida de plano, não se admitindo prazo para correção, dada a natureza sumária das ações executivas.
b) caberá ao devedor indicar a espécie de execução que prefere, quando de mais de um modo puder ser efetuada.
c) deverá ser extinta se o título não corresponder a obrigação certa, líquida e exigível.
d) cabe ao devedor provar que o credor não adimpliu a contraprestação, quando a satisfação da obrigação do executado estiver condicionada à realização daquela.