add email to title
working on interleaving
tranlated promela section