Terra: Imperative-SymbolicCo-Executionof ImperativeDeepLearningPrograms