שליחה במסרון: Neural Modeling of Reasoning About Program Behaviors