Bug fix in HoareOptimizer
(backport #13083)
#13087
Merged
HoareOptimizer
(backport #13083)
#13087