44 v < in_core.size(),
"variable number should be within bounds");
51 c.first_clause_id < c_id,
52 "id of the clause to be pushed onto the clause stack shall be smaller "
53 "than the id of the current clause");
54 s.push(c.first_clause_id);
56 for(clauset::stepst::size_type i=0; i<c.steps.size(); i++)
60 c.steps[i].clause_id < c_id,
61 "id of the clause to be pushed onto the clause stack shall be "
62 "smaller than the id of the current clause");
63 s.push(c.steps[i].clause_id);