/**
   * Essa classe fornece um caminho de pegar expressoes em Circus
   * utilizando a atual AST provida pela CZT e passar a estrutura 
   * correspondente para expressoes em B.
   * @author alessandro87
   *
   */
  
  
  	/* Mapeamento de Expressoes Circus // Termo na estrutura B*/
  	public abstract Expression visit (Expr term); // Expression
  	
  	
  	public abstract Expression visit (RefExpr term);
  	public abstract Expression visit (NumExpr term);
  	public abstract Expression visit (ApplExpr term);