| Cic.AVariable (_, _, None, ty, _) ->
debug_print "Cic.AVariable (ty)";
round_trip ty
| Cic.AVariable (_, _, Some bo, ty, _) ->
| Cic.AVariable (_, _, None, ty, _) ->
debug_print "Cic.AVariable (ty)";
round_trip ty
| Cic.AVariable (_, _, Some bo, ty, _) ->