Add reachability and sharing analysis at class level