Predicate signature Make0::InputSig1::additionalNode

Holds if an additional node tagged with tag should be created for n. Edges targeting such nodes are labeled with t and therefore t should be unique for a given (n,tag) pair.

This predicate is only relevant for AST constructs that are not already handled by this library.