not happen anyway, but let's try not to get completely confused if it does
(due to rewriter bugs or whatever).