FTL's implementation of HasIndexedProperty for InBounds accesses checks the inverse...