Problem with value 'sv-benchmarks/c/loop-crafted/simple_array_index_value_4.i.v lhb-reducer.c' for parameter 'programName'.<br/>