Kereva: Static analysis for LLM-powered Python applications