node_trans: revert to original transaction code (pre 1.54);
node_trans: revert to original transaction code (pre 1.54);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle