公益訴訟起訴主體競合的處理，下列表述正確的有（）。

關于民事執(zhí)行制度的下列說法，哪些是正確的？（）

形成之訴是指原告請求法院運用判決變動已成立或既存的民事法律關系（或民事權益）或者特定的法律事實之訴。

劉某與王某鋼琴所有權糾紛一案，經區(qū)法院審理后判決鋼琴是劉某的，責令王某向劉某交付鋼琴。雙方未上訴。劉某向區(qū)法院申請執(zhí)行，執(zhí)行程序中，崔某提出鋼琴是自己借給王某的，區(qū)法院經審查，裁定駁回崔某的異議。關于本案的下列表述，哪一選項是正確的？（）?

當事人主張的法律關系與法院根據案件事實作出的認定不一致時，根據處分原則，當事人可以變更訴訟請求。

當事人的陳述與此前陳述不一致的，人民法院應當責令其說明理由，并結合當事人的訴訟能力、證據和案件具體情況進行審查認定。

下列對法人住所地的理解，正確的有（）。

陳某向區(qū)法院申請執(zhí)行，責令趙某支付拖欠的借款100萬元。執(zhí)行程序中，因趙某無資金可供執(zhí)行，區(qū)法院根據陳某的申請將趙某的一套二居室住房查封，趙某認為區(qū)法院查封自己的該住房是違法的，區(qū)法院審查后裁定駁回了趙某的異議。此后孫某向區(qū)法院提出執(zhí)行異議，稱趙某已將該二居室住房賣給自己，且自己已經付清房款，區(qū)法院裁定中止對該二居室住房的執(zhí)行。陳某決定提出執(zhí)行異議之訴。關于本案的下列表述，哪些選項是不正確的？（）

原告訴稱被告將其毆打致傷，下列原告提供的證據，是反證的是（）。

民事訴訟法和刑事訴訟法都是程序法，他們的任務是相同的。(）