+ New output: minimal cuts of all targets.

. empty lines generated an error
. events were repeated if they were used by several transitions

algorithm.

should produce minimal cutsets when this parameter is true.

he wants to obtain directly minimal cutsets.

. always add epsilon transition in reduced node

write document for functions

. functional dependencies are now propagated into the CA
. the dependency graph now ignore FDs.

introduced in valid_state_assignments computation. Projection on state
variables was made only on the 1st assertion.

the computation of pre-defined sets.

use of the 'timer' command.

reset.

was displayed.

. fix memory leak in s_clone_transition