some notation in precmp_ess_surj
some more cleaning in precomp_ess_surj