Separating Headers kernel/gröbner_walk update 2