Add clarification images for sequenced-before graphs