Bidirectional transformations (BXs) have emerged as a powerful paradigm for maintaining consistency between data representations across diverse systems. These techniques involve a pair of interrelated ...