Semantic check after WITH