Readline interface redesign, construction of some AAG automata, automata determinisation improvements.