Single-Entry Single-Exit Decomposed Conformance Checking