missing include in successor.hpp