Make Pocman upper bound more efficient