conditionContradiction

Sequence-flow condition is always false (e.g. "x > 100 && x < 50") — the branch is dead code.

Full reference documentation for conditionContradictionis in progress. In the meantime, the rule's summary above describes the check, and the source implementation in lib/bpmn/rules/* on GitHub is the canonical specification.