filename2 = UTFile.replaceExtension(filename1, ext1, ext2);
reader1 = new CTReader(UTInput.createBufferedFileReader(filename1));
reader2 = new CTReader(UTInput.createBufferedFileReader(filename2));
// for (n=0; (tree1 = reader1.nextTree()) != null; n++)
while ((tree1 = reader1.nextTree()) != null)
{
tree2 = reader2.nextTree();
if (tree1.getTerminals().size() != tree2.getTerminals().size())
{