Fix another seac regression (issue 4801)

This is a ***very*** tentative attempt at fixing #4801. (It's by far the ugliest hack that I've ever submitted for review :-)

The proper way to handle these kind of issues is probably a much more invasive re-factoring/re-write of the entire seac analysis, but that's unfortunately beyond my ability.
Given that the issue that this PR fixes is a regression, I think that it makes a certain amount of sense to accept an (ugly) workaround for now. (If the issue wasn't a regression, I wouldn't have even bothered with this patch.)