Fixed bug in NFALambda/toDFA