Conformance checking
Perform optimization