anchor.diff:      LEU: "LtEq(Int(size,Unsigned))",
       GEU: "GtEq(Int(size,Unsigned))",
   
  -    //NEG: "Neg(Int(size, Signed))",
  +    //NEG: "Neg(Int(size,Signed))",
       PLUS: "Plus(Int(size,sign))",
       MINUS: "Minus(Int(size,sign))",
       MUL: "Mult(Int(size,Unsigned))",
  
positive.code: header {
  
  from sslParser import SemanticException
  
  }
  
  
negative.code:     MINUS_FQ: "Minus(Float)",
  }
  
  builtinTable = {
      LITERAL_rlc: "rlc",
      LITERAL_rrc: "rrc",
      LITERAL_rl: "rl",
      LITERAL_rr: "rr",
      LITERAL_pow: "pow",
  }
  
  }
  
  class ssl2aterm extends TreeParser;
  