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.