SM analysis can deal now also with EpsilonTransitions
small fixes
fixing the build scripts