Basic implementation of 2PC, still missing some reply messages