class Context
Context(language: Language, env: Env)
var env: Env
val language: Language
val singleThreadedAssumption: Assumption
fun shutdown(): Unit