reformulate
minor change
change a function name
an algorithm to compute siphons
find minimal siphons
improve complexity for computing minimal siphons
minor changes

some functions are turned to be private