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".