adding work implementing push_stopping_at_face()