fn flat_map_annotatable(
    vis: &mut impl MutVisitor,
    annotatable: Annotatable
) -> Option<Annotatable>