private bool IsGrounded(BitVecExpr value, Solver solver, Context ctx) { return(ToolsZ3.GetUlong(value, value.SortSize, solver, ctx) != null); }