Added reading of var_set from CNF file