Renamed BankConstraints to TransactionConstraints
Fully Implemented Transaction Synchronization