implemented the main loop of Transducer::intersect with debugging code