Cleaning up SSL solving code