Invia SMS: Neural Modeling of Reasoning About Program Behaviors