Function view_mir 

pub(crate) fn view_mir(db: &RootDatabase, position: FilePosition) -> String