let rec crSem_of_list =
function
| [] -> Ast.CrNil ghost
| [ x ] -> x
| x :: xs ->
let _loc = loc_of_class_str_item x
in Ast.CrSem (_loc, x, (crSem_of_list xs))