Efficient gene tree correction guided by species and synteny evolution