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