Added dobfs_enactor. Fixed several minor issues in backward_edge_map.