* ip6,actions=conjunction(1,1/3)
* tp_src=1,actions=conjunction(1,2/3)
* tp_src=2,actions=conjunction(1,2/3)
- * tp_src=2,actions=conjunction(1,2/3)
+ * tp_src=3,actions=conjunction(1,2/3)
* tp_dst=4,actions=conjunction(1,3/3)
* tp_dst=5,actions=conjunction(1,3/3)
* tp_dst=6,actions=conjunction(1,3/3)
* conj_id=1,actions=...
* ip,tp_src=1,actions=conjunction(1,1/2)
* ip,tp_src=2,actions=conjunction(1,1/2)
- * ip,tp_src=2,actions=conjunction(1,1/2)
+ * ip,tp_src=3,actions=conjunction(1,1/2)
* ip6,tp_src=1,actions=conjunction(1,1/2)
* ip6,tp_src=2,actions=conjunction(1,1/2)
- * ip6,tp_src=2,actions=conjunction(1,1/2)
+ * ip6,tp_src=3,actions=conjunction(1,1/2)
* ip,tp_dst=4,actions=conjunction(1,2/2)
* ip,tp_dst=5,actions=conjunction(1,2/2)
* ip,tp_dst=6,actions=conjunction(1,2/2)
* have grandchildren of its own type.
*
* As a consequence, every nonterminal node at the same distance from the
- * root of the root has the same type.
+ * root has the same type.
*
* - EXPR_T_AND and EXPR_T_OR nodes must have at least two children.
*