The signal $wfm.IDENTIFIER (declared in $wfm.FILE, line $wfm.LINE, column
$wfm.COLUMN) is tested with both the rising_edge and the falling_edge functions.
This goes against STD_04800.