I am using the C4C+ for a sales pitch. While working with the conformance checker, came the question that Is it possible to set some business rules for process model. For example, when attribute x > 100 follow an approval path 1, else path 2 ? And See if both paths are conforming to their respective business rules?