Roughing in support for tracking side-effects during symbolic execution.