private static boolean isSymbolic(SmtExpr left,SmtExpr right,List<SmtExpr> others){
  if (left.isSymbolic() || right.isSymbolic()) {
    return true;
  }
  for (  SmtExpr smtExpr : others) {
    if (smtExpr.isSymbolic()) {
      return true;
    }
  }
  return false;
}

private static boolean isSymbolic ( SmtExpr left , SmtExpr right , List < SmtExpr > others ) { if ( left . isSymbolic ( ) || right . isSymbolic ( ) ) { return true ; } for ( SmtExpr smtExpr : others ) { if ( smtExpr . isSymbolic ( ) ) { return true ; } } return false ; }
returns true if any of the arguments is symbolic
