tester for realizability check, runs the transformation for all examples (using a fixed list of file names in a test data provider)