converted BVGraph to EFGraph