Refactor email-automata lab