65
65
/************************ Initialize our own options and lists *************/
67
67
use_expanded_proofs_flag = init_flag("use_expanded_proofs", TRUE);
68
accept_list("extra_assumptions", FORMULAS, FALSE, &assumptions);
70
70
/************************ Read the input ***********************************/