let do_live_feature (f:file) =
  visitCilFile (new doFeatureClass) f