test06 covers the case "Overlap with common ancestors"
