Print some information during CPOR computations
Highlight cas states in green in dot output
Filter another cas conflict pattern