link the initial state of the multiplied transducer to the unreachable ones with epsilon transitions in the intersection method