SI-8283 mutation-free bound inference for existentials

A safer version of the fix for SI-6169 (#3471)