<div dir="ltr">To make GRExprEngine unaware of the specific implementation of GRStates and Stores, this patch moves some code from GRExprEngine into GRSimpleVals. This is an initial refactoring. It moves some code in GRExprEngine::getInitialState() into GRSimpleVals::getInitialDeclState().<br>
<br>Zhongxing Xu<br></div>