Define BranchDecision ccN ccZ N Z | branch ;

Endef;