Check existence of CTE declarations

[Mobe91]

If a CTE is used inside a CTE query we should check if this CTE was declared via a with* call and through an exception if this is not the case. This makes it easier for the user to spot mistakes.