Get rid of Eigen dependency in tentative_prolongation