public ParameterNullnessPropertyDatabase getUnconditionalDerefParamDatabase() { return unconditionalDerefParamDatabase; }
public abstract ParameterNullnessPropertyDatabase getUnconditionalDerefParamDatabase();
	public ParameterNullnessPropertyDatabase getUnconditionalDerefParamDatabase() {		return unconditionalDerefParamDatabase;	}