<div dir="ltr">This patch moves the rest of the symbolic analysis stuff into BasicConstraintManager.<br><br>- Zhongxing Xu<br></div>