@Override
	public PrototypeModel getPrototypeEvaluationModel(EvaluationModelType modelType) {

		Options options = program.getOptions(DECOMPILER_PROPERTY_LIST_NAME);
		switch (modelType) {
			case EVAL_CURRENT:
				String name =
					options.getString(EVALUATION_MODEL_PROPERTY_NAME, evalCurrentModel.getName());
				for (PrototypeModel model : allmodels) {		// Could be a merge model
					if (model.getName().equals(name)) {
						return model;
					}
				}
				break;
			case EVAL_CALLED:
				return evalCalledModel;		// TODO: Currently no option
		}
		return defaultModel;
	}
Build up the choice strings for all the evaluation methods
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/ProgramCompilerSpec.java