Assert função inclui_lexico