Pedigree analysis for Agda

Use
generations for calculation