semantic: Ensure that with blocks don't introduce ambiguity.