Formal equiv diff IndexedPartSelectInUniqueCase_top.sv

[alaindargelas]

Test UHDM-integration-tests/tests/IndexedPartSelectInUniqueCase/top.sv ./run_formal_verif.sh test=IndexedPartSelectInUniqueCase_top.sv

After performing constant size computation in Surelog https://github.com/chipsalliance/Surelog/pull/3244

The AST generated by the plugin is still incorrect. A struct with 2 x 32 bit constants is becoming a 184 bit constant in the AST: AST_CONSTANT top.sv:0.0-0.0 [0x55ff5b370f20 -> 0x55ff5b406410] str='\mac_bignum_operation_t' bits='0101110001101101011000010110001101011111011000100110100101100111011011100111010101101101010111110110111101110000011001010111001001100001011101000110100101101111011011100101111101110100'(184) basic_prep range=[183:0] int=1869504372