mlfa2aut = new MLFA2Automaton(mlfa);
}
private void propagateTaint(Grammar r) {
final boolean done[] = {false};
ProductionVisitor v = new ProductionVisitor() {
public void visitAutomatonProduction(Nonterminal a, AutomatonProduction p) {
}
public void visitBinaryProduction(Nonterminal a, BinaryProduction p) {