Improved traceability for bidirectional model transformations