public static void addTrainingExampleInModule(Cons form, double score, Symbol module) {
    module = ((Symbol)(module.permanentify()));
    { TrainingExample example = TrainingExample.newTrainingExample();

      example.query = Cons.copyConsList(form);
      example.score = score;
      example.module = Logic.getModule(module);
      Logic.$TRAINING_EXAMPLES$.push(example);
    }
  }