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

public final void loadInterproceduralDatabases ( ) { loadPropertyDatabase ( getFieldStoreTypeDatabase ( ) , FieldStoreTypeDatabase . DEFAULT_FILENAME , "field store type database" ) ; loadPropertyDatabase ( getUnconditionalDerefParamDatabase ( ) , UNCONDITIONAL_DEREF_DB_FILENAME , "unconditional param deref database" ) ; loadPropertyDatabase ( getReturnValueNullnessPropertyDatabase ( ) , NONNULL_RETURN_DB_FILENAME , "nonnull return db database" ) ; }
if possible , load interprocedural property databases .
