Refactor out SQL mapping, preparing to refactor symbolic state creation.
Refactor out symbolic state creation.