Added new functionality to extract a CNF-based specification file from a SLUGS input file.