Reliance-based Static Analysis of Existential Rules