On Exponential-Time Completeness of the Circularity Problem for Attribute Grammars