Separating Headers groebner_walk update