Milyen esetben lehet a végrehajtási eljárásban ellentmondással élni?