-- Alignment -> Int -> EVector Int -> [EVector Int]
leaf_sequence_counts a n counts = list_from_vector $ builtin_leaf_sequence_counts a n counts
leaf_sequence_counts a n counts = list_from_vector $ builtin_leaf_sequence_counts a n counts
leaf_sequence_counts a n counts = list_from_vector $ builtin_leaf_sequence_counts a n counts