Assertion list for term "specified in the maxbranch= option".
Results from Ascent++: 1
value (aspect of variable) → ReceivesAction → specified in the maxbranch= option 0.30