final public void setLiteralVariable() throws ParseException {
 //Token varName, varValue=null;
 String functionString=null;
 //List<String> valuePredicates=null;
 Literal litName,litValue=null;
    jj_consume_token(SET_LITERAL_VARIABLE);
    litName = literal();
    jj_consume_token(ASSIGN);
    if (jj_2_65(7)) {
      litValue = literal();
    } else if (jj_2_66(7)) {
      functionString = literalFunction();
    } else {
      jj_consume_token(-1);
      throw new ParseException();
    }
  try{
   LiteralVariable lvName=DomUtilities.getLiteralVariable(litName);
   LiteralVariable lvValue=null;
   if (null!=functionString) lvValue=DomUtilities.getLiteralVariable(functionString,false);
   else lvValue=DomUtilities.getLiteralVariable(litValue);
   theory.addLiteralVariable(lvName,lvValue);
  }catch (Exception e) {
   {if (true) throw new ParseException(e.getMessage());}
  }
  }