lambda elimination and determinization seems to work. Needs more testing. Minimization seems not to work