Index assertion goes to prolog_remote.