%Error: Internal Error: t/t_assert_if.v:17: ../V3EmitC.cpp:665: Unknown node type reached emitter: VASSERT

module t (/*AUTOARG*/
           // Inputs
           clk
           );

     input clk;

     integer cyc;
     initial
         cyc=1;

     always @ (posedge clk) begin
         if (cyc!=0) begin
	        cyc <= cyc + 1;

             if (cyc==7) // begin
                 assert (cyc[0] == cyc[1]);
             // end

	        if (cyc==10) begin
	            $write("*-* All Finished *-*\n");
	            $finish;
	        end
         end
     end

endmodule