Further work on implementing push-down rules