SI-8023 WIP mutation-free bound inference for existentials