Removed Trans, replaced by 4.7-style Transformation
Better test for bijectivity of transformation