anchor.diff:      MINUS_FQ: "Minus(Float)",
   }
   
  +builtinTable = {
  +    LITERAL_rlc: "rlc",
  +    LITERAL_rrc: "rrc",
  +    LITERAL_rl: "rl",
  +    LITERAL_rr: "rr",
  +    LITERAL_pow: "pow",
  +}
  +
   }
   
   class ssl2aterm extends TreeParser;
  
positive.code:     ;
  
  rt returns [res]
  	: #( at:ASSIGNTYPE 
  		{
              t = #at.getText()[1:-1]
  
negative.code:     LEU: "LtEq(Int(size,Unsigned))",
      GEU: "GtEq(Int(size,Unsigned))",
  
      //NEG: "Neg(Int(size,Signed))",
      PLUS: "Plus(Int(size,sign))",
      MINUS: "Minus(Int(size,sign))",
      MUL: "Mult(Int(size,Unsigned))",
  