EditGraphAligner: align 3 witnesses.