The simplest way to do this is to require complete isomorphism of the SCFG trees used for the reverse and forward translations.
this does round-trip imputation (i.e., from y to x, and then to y ) at the rule level.