Remove redundant test of Id in saturation fixpoint

Indeed, homomorphism::operator() already checks this case.