Fix [make get-ssr] (was trying to call a non-existent Makefile rule)
More on \max theory for CPOs.
[mlead_supp]: the leading coeff. is in the support.