Predicate Make0::Make1::Make2::Additional::Consistency::ambiguousAdditionalNode

Holds if the additional node for a given AST node and tag has multiple successor types.

For additionalNode(AstNode n, string tag, NormalSuccessor t), the t must be unique for a given (n, tag).