Walking the Decidability Line for Rules with Existential Variables