bself: fix adding assumptions

We cannot intersect them together, assumptions are always on their own
(we could create unsat assumption if we intersect them -- since
those created from path condition are speculative and may not hold
together in the state).