library that computes hdepth_1 of a module M