Fixed 2PC (supposedly) with Dist-DEFTX and removed early abort