Checks signal name propagation on labels to heed rule na_0009.
The definition of basic blocks that perform a transformative operation is interpreted for this rule as any basic block but port blocks, subsystems and Goto-From-connections. Goto-From-connections are neither considered non-transformative, and thus ignored while checking this rule. Also ignored are labels on signals emanating from subsystems directly linked to a library (rather than implicitly by a parenting subsystem).
Signal Specification, Enable Port, Trigger Port and Function Call Split blocks allow for signal name propagation in more recent versions only. To keep the rule implementation consistent over releases, signal labels on signals on their output ports are also ignored.
Exempted from the checks are all contents linked into the model from libraries listed in the jExclLibs parameter.