const MAX_UNION_DEPTH: usize = 4;
How many levels of union to follow when explaining why a specification was rejected.