new ParameterNullnessPropertyDatabase(),
getUnconditionalDerefParamDatabase(),
	public void loadDefaultInterproceduralDatabases() {		unconditionalDerefParamDatabase = loadPropertyDatabaseFromResource(				new ParameterNullnessPropertyDatabase(),				UNCONDITIONAL_DEREF_DB_RESOURCE,				"unconditional param deref database");	}