Function varisat_checker::hash::rehash

pub fn rehash(ctx: Mut<ClausesP, Mut<ClauseHasherP, Ref<Context>>>)

Recompute all clause hashes if necessary