Added the option of converting to a k-CNF for k>2.