@pimms.value<EOL><INDENT>def maxlabel(minlabel):<DEDENT>
return pimms.imm_array(<NUM_LIT:1> - minlabel)<EOL>
path.maxlabel is equivalent to path.label if path.label contains more vertices than its
  complement and is equivalent to 1 - path.label if not.