Single-Entry Single-Exit decomposed conformance checking.

Categories: