determinization with less edges
Merge branch 'det' into nusmv