The signal $x_re.IDENTIFIER$ (declared in $x_re.FILE$, line $x_re.LINE$, column $x_re.COLUMN$) is made to indicate the rising edge of another signal. CNE_01700 indicates such signals should have names ending in "_re".