Direct Construction of Program Alignment Automata for Equivalence Checking