Do an epsilon transition on the tail position of a begin
Improve edge labels in state graph
Adding infinitely recursive functions to the tests
Clean the code