Leveraging Uncertainty in Bidirectional Model Transformations