Stav dette: Neural Modeling of Reasoning About Program Behaviors