To reproduce:
Create an instance where first a sparse set integer variable is created and then a bool clause is created. If the asserts are set to extreme then the line pumpkin_assert_moderate!(self.is_propagation_complete()) in add_clause will panic since elements were added to the trail when creating the sparse set after which no clausal propagation took place.
To reproduce: Create an instance where first a sparse set integer variable is created and then a bool clause is created. If the asserts are set to extreme then the line
pumpkin_assert_moderate!(self.is_propagation_complete())inadd_clausewill panic since elements were added to the trail when creating the sparse set after which no clausal propagation took place.