public String multiLine(int col){
  String val="/\\ " + wf;
  if (sf == null) {
    return val;
  }
  return val + "\n" + NSpaces(col)+ "/\\ "+ sf;
}

public String multiLine ( int col ) { String val = "/\\ " + wf ; if ( sf == null ) { return val ; } return val + "\n" + NSpaces ( col ) + "/\\ " + sf ; }
the representation of the conjunction of the formulas with prefix / \ s , where the first / \ appears in column col ( java numbering ) , witout any ending " \ n "
