根据民事诉讼法及其司法解释的规定，下列关于反诉的表述，哪一选项是不正确的？（）

刘某与王某钢琴所有权纠纷一案，经区法院审理后判决钢琴是刘某的，责令王某向刘某交付钢琴。双方未上诉。刘某向区法院申请执行，执行程序中，崔某提出钢琴是自己借给王某的，区法院经审查，裁定驳回崔某的异议。关于本案的下列表述，哪一选项是正确的？（）‍

下列对自认分类的表述，正确的有（）。

形成之诉是指原告请求法院运用判决变动已成立或既存的民事法律关系（或民事权益）或者特定的法律事实之诉。

原告诉称被告将其殴打致伤，下列原告提供的证据，是反证的是（）。

下列对第三人撤销之诉裁判效力的表述，正确的是（）。

陪审制度，是指审判机关吸收法官以外的公民参与案件审判活动的制度。

当事人的陈述与此前陈述不一致的，人民法院应当责令其说明理由，并结合当事人的诉讼能力、证据和案件具体情况进行审查认定。

崔洪与刘丽房屋买卖合同纠纷一案，经区法院和市中级法院两审终审，判决支持崔红的诉讼请求，责令刘丽将房屋交付给崔某，并且为其办理房屋过户手续。崔洪向区法院申请执行，在执行程序中，刘辉提出该房屋系其与刘丽共同共有的，不同意卖给崔洪。区法院经审查驳回刘辉的异议，刘辉认为市中级法院的判决错误损害其民事权益。关于本案的下列表述，哪些选项是不正确的？（）

陈某向区法院申请执行，责令赵某支付拖欠的借款100万元。执行程序中，因赵某无资金可供执行，区法院根据陈某的申请将赵某的一套二居室住房查封，赵某认为区法院查封自己的该住房是违法的，区法院审查后裁定驳回了赵某的异议。此后孙某向区法院提出执行异议，称赵某已将该二居室住房卖给自己，且自己已经付清房款，区法院裁定中止对该二居室住房的执行。陈某决定提出执行异议之诉。关于本案的下列表述，哪些选项是不正确的？（）