logger -expect error "Cannot add procedural assertion `\\x' because a signal with the same name was already created" 1
read_verilog -sv <<EOT
module top;
    wire x, y;
    always @*
        x: assert(y == 1);
endmodule
EOT