public abstract void loadInterproceduralDatabases();
public final void loadInterproceduralDatabases() { loadPropertyDatabase( getFieldStoreTypeDatabase(), FieldStoreTypeDatabase.DEFAULT_FILENAME, "field store type database"); loadPropertyDatabase( getUnconditionalDerefParamDatabase(), UNCONDITIONAL_DEREF_DB_FILENAME, "unconditional param deref database"); }
	public abstract void loadInterproceduralDatabases();