Consistency check rule

Rule:

Message:

Jump:

Branching rule

Rule:

Derivated variable rule

Rule: