public abstract void loadDefaultInterproceduralDatabases();
public final void loadDefaultInterproceduralDatabases() { loadPropertyDatabaseFromResource( getUnconditionalDerefParamDatabase(), UNCONDITIONAL_DEREF_DB_RESOURCE, "unconditional param deref database"); }
	public abstract void loadDefaultInterproceduralDatabases();