What about `vec<Lit> assumptions`?