4- Se o A./recorrido pode deduzir oposição em execução instaurada com base em requerimentos de injunção à qual foi aposta a fórmula executória, por maioria de razão pode impugnar o crédito em ação declarativa, como é o caso.