aren't these considered soundness holes and thus bugs?
they are known I think but until the next solver or whatever it cannot be fixed. there was a memory leak peice going around a month or two or more ago