krivine environment pointers are shared (among closures), introduced a reference counter