private static DecompileOptions getDecompilerOptions(Program program) {
		DecompileOptions options = new DecompileOptions();
		options.setNoCastPrint(true);
		try {
			final PrototypeModel model = program.getCompilerSpec()
					.getPrototypeEvaluationModel(EvaluationModelType.EVAL_CURRENT);
			options.setProtoEvalModel(model.getName());
		}
		catch (Exception e) {
			Msg.warn(BSimProgramCorrelator.class,
				"problem setting prototype evaluation model: " + e.getMessage());
		}
		options.setDefaultTimeout(TIMEOUT);
		return options;
	}
Establish decompiler options for the feature vector calculation
@param program is the specific program to decompile
@return the formal options object
Ghidra/Features/VersionTrackingBSim/src/main/java/ghidra/feature/vt/api/BSimProgramCorrelator.java