Correct rules for handling pushes < minraise