fix bug in dobfs_functor when mark-pred is not set.