Work in progress on verifying the menv removal from closures