This is not easy to answer.
For such cases, some users do full-chip EM that includes much more detail and routing. Some other users do simulation with Momentum where you can have a "ground at infinity" return that means nothing physically, but avoids the losses from metal3 return path seen in Sonnet.
In Sonnet, you must model a closed loop, so I think your only choice in Sonnet is to model the minus terminal connection at metal3. I don't see how the metal9 ground rail would carry current between these minus terminals, it's just too far away.
Disclaimer: We just look at small layout piece here, between two points. For your circuit with more components and routing now shown here, metal9 ground rail might be relevant.