private static (IList <Symbol> BoolConstants, IList <Symbol> BvConstants) GetConstants(Expr expr)
{
IList <Symbol> boolResults = new List <Symbol>();
IList <Symbol> bvResults = new List <Symbol>();
ToolsZ3.GetConstants(expr, ref boolResults, ref bvResults);
return(BoolConstants : boolResults, BvConstants : bvResults);
}
