this.database = new NonNullParamPropertyDatabase();
	public TrainUnconditionalDerefParams(BugReporter bugReporter) {		this.bugReporter = bugReporter;		this.database = new NonNullParamPropertyDatabase();	}