Now, a symbolic state in FORTS should be accessed through shared pointer.