No. 107 (1980): PB-107 Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof