[DA] Fix function `DependenceInfo::isKnownNonNegative`

[sjoerdmeijer]

This is extracted from #160924 and little bit of a placeholder (more details will follow), but this is an attempt to document all know DA issues:

The complaint about function DependenceInfo::isKnownNonNegative was the following:

The inference from inbounds here is incorrect (cf. #160912)

I will add this to the meta issue #161805 that lists all DA issues.

[sjoerdmeijer]

CC: @kasuga-fj