question: 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" ) ; }
target:  If possible, load interprocedural property databases.