pub fn problems(spec: &Spec) -> Vec<Problem>
The groups’ problems: a reserved or taken name, a member that names nothing, a cycle.