In reply to dshanley:
Issue is when I == 4,I + 1 you’ve on last constraint goes out of range. So VCS is right here. What would you want the value to be for last iteration? Once you decide that you can use an implication as guard as in:
i < sgl.size → …
HTH
Srini
www.verifworks.com