Let's not use atexit for factory cleanup.
Use correct variable in end condition coverage init
Remember to log random init on heuristics