semantic: First pass of with statement verification.