public String getProtoEvalModel() {
		return protoEvalModel;
	}
@return the default prototype to assume if no other information about a function is known
Ghidra/Features/Decompiler/src/main/java/ghidra/app/decompiler/DecompileOptions.java