Closurex: Transforming Source Code For Correct Persistent Fuzzing