Function varisat_checker::clauses::store_unit_clause

pub fn store_unit_clause(
    ctx: Mut<ClausesP, Mut<CheckerStateP, Ref<Context>>>, 
    lit: Lit
) -> (u64, StoreClauseResult)

Adds a unit clause to the checker data structures.

Returns the id of the added clause and a boolean that is true if the clause wasn't already present.