Replication guide and array index propagation in SSA transformed code - regression fix