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); }