a) jeho výkon by byl v rozporu s překážkou věci pravomocně rozhodnuté,