INTEGRATING DECLARATIVE STATIC ANALYSIS WITH NEURAL MODELS OF CODE