graph drawing tool
-- Intermediate state during debug animations.
Debug_animations_in_progress = {}