new ParameterNullnessPropertyDatabase(),
getUnconditionalDerefParamDatabase(),
	public void loadInterproceduralDatabases() {//		mayReturnNullDatabase = loadPropertyDatabase(//				new MayReturnNullPropertyDatabase(),//				DEFAULT_NULL_RETURN_VALUE_DB_FILENAME,//				"may return null database");		fieldStoreTypeDatabase = loadPropertyDatabase(				new FieldStoreTypeDatabase(),				FieldStoreTypeDatabase.DEFAULT_FILENAME,				"field store type database");		unconditionalDerefParamDatabase = loadPropertyDatabase(				new ParameterNullnessPropertyDatabase(),				UNCONDITIONAL_DEREF_DB_FILENAME,				"unconditional param deref database");	}