Conformance checking
(
)
Check for validity of paths and do improvements such as parallelization or loop removal.