separated Syntactic CQ checks from the Semantic ones