(pos_visible_p): Replace FULLY arg by RTOP and RBOT args