let rec dummy_var = { vid = -101; pa = dummy_atom; na = dummy_atom; level = -1; reason = None; weight = -1.; seen = false; vpremise = [] } and dummy_atom = { var = dummy_var; lit = dummy_lit; watched = {Vec.dummy=dummy_clause; data=[||]; sz=0}; neg = dummy_atom; is_true = false; aid = -102 } and dummy_clause = { name = ""; atoms = {Vec.dummy=dummy_atom; data=[||]; sz=0}; activity = -1.; removed = false; learnt = false; cpremise = [] }