reverted symbolic states to string