assertivas para a função frame_inferior