Expression not recognized as constant when using indexed part-select

[zputrle]

It seems that a similar problem as in #751 arises if indexed part-select is used instead of part-select.

If I run the following example as ebmc examples/test_constant_expr.v --systemverilog --top test_constant_expr --bound 10

module test_constant_expr #(parameter x = 8'hff) ();

    test_mod #(.p(x[3 -: 2])) mod ();

endmodule

module test_mod #(parameter p = 1) ();
    
    initial begin
        $display("p = 0x%0h", p);
    end
endmodule

I get the following output

Parsing examples/test_const_part_select.v
Converting
Type-checking Verilog::test_mod
Type-checking Verilog::test_const_part_select
file examples/test_const_part_select.v line 4: expected constant expression, but got `16'hFFFF[8-4]'
CONVERSION ERROR

I ran the example with latest commits on main branch (fb9a9d4) that already includes the fix for #751.

[kroening]

Yes, we need a complete set of tests for all the operators named in 1800-2017 11.2.1.