Use mini_vector instead of std::vector for storing the return value of separated_graph::query