[Improper blocks] We stop the exploration when reaching a process that
ahs performed an imporer block (In[...]In.Rel.0)
add a counter of final tests (= number of explorations)
add a counter of final tests (= number of explorations)
add an option to display all the explored traces
add an option to display all the explored traces
[Fix] correct detection of improper blocks (after performing all tests)
Merge branch 'compression+impropre' into POR

Conflicts:
	Source/trace_equivalence/algorithm.ml
option 'display_traces' available for any version
Merge branch 'compression' into POR
Merge branch 'POR'