Transformation checker (wip)