Make options available to CNF_Conversion