some compactification in precomp_ess_surj