Circus e Zed possuem tais elementos que B nao possui:
	Exists_1


B possui os seguintes elementos que Circus e Zed nao abrangem:
    NotSubset
	NotStrictSubset
	*1)CompareBooleanExpression
	*1)CompareEnumeratedExpression
	*1)CompareOrderedPairExpression
	*1)CompareSequenceExpression
	*1)CompareSetExpression
	
	
 *OBSERVAES: 1 ) 	Tais termos apresentam apenas os simbolos 
 de equals e notequals diferencionando os termos que compoe esse
 (expr = expr). Essa expr pode ser Boolean, Enumerated... Na ast de
 Circus nao temos essa distincao do simbolo de equals, apenas dos termos
 de expressoes.