static <A> A restructure_checkForProblems(A a) {
  ret (A) unstructure(structure_checkForProblems(a));
}