SAT to SAT-Hard Clause Translator