* When parsing SMTLIB format. Consider :formula and :assumption to be the same. Previously we took just the final :formula, discarding the prior ones. There shouldn't be multiple :formula elements, but there sometimes are. * Remove some old/odd array accesses synatax.
* When parsing SMTLIB format. Consider :formula and :assumption to be the same. Previously we took just the final :formula, discarding the prior ones. There shouldn't be multiple :formula elements, but there sometimes are.
* Remove some old/odd array accesses synatax.




kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp