The signal $wfm.IDENTIFIER (declared in $wfm.FILE, line $wfm.LINE, column
$wfm.COLUMN) is the output of a single process multiplexor, as defined by
CNE_05100.