On-the-Fly Clause Improvement