public String format_esc() {
    String[] form = VarInfo.esc_quantify(false, var(), var());

    return form[0] + "((i+1 == j) ==> (" + form[1] + " < " + form[2] + "))" + form[3];
  }
  public String format_esc() {
    String[] form = VarInfo.esc_quantify(false, var(), var());

    return form[0] + "(" + form[1] + " == " + form[2] + ")" + form[3];
  }
 public String format_esc() {
   String[] form = VarInfo.esc_quantify(var1(), var2());
   return form[0] + "(" + form[1] + " < " + form[2] + ")" + form[3];
 }