symexe: fix putting assumptions into states

We do not want to make a copy of the state
(and if we do, we want to further use that copy -- that was the problem
in assume() method).