INT-3408: Encapsulate binding in the `DefTxSyncF`