Correctted the bug in Symbolic_State::post, where an explicit shared_ptr creation was called instead of "clone" method.