Combining Existential Rules and Transitivity: Next Steps