Formal equiv diff ParameterPackedArraySurelogSubstitution_top.sv

[alaindargelas]

Test: UHDM-integration-tests/tests/ParameterPackedArraySurelogSubstitution/top.sv ./run_formal_verif.sh test=ParameterPackedArraySurelogSubstitution_top.sv

The plugin is looking for the parameter value in the uhdmAllModules which is incorrect, it should take the value from the uhdmTopModules

P[0] == 8 not 1 as reported by the plugin. UHDM is correct in the uhdmTopModules scope.