Converting the closure translation to use explicit abstractions instead