code: public boolean searchSIF(Model model, OutputStream out)
  	{
  		return searchSIF(model, out, new SIFToText() {
  			@Override
  			public String convert(SIFInteraction inter)
  			{
  				return inter.toString();
  			}
  		});
  	}
docs: Searches the given model with the contained miners.
  Writes the textual result to the given output stream.
  Closes the stream at the end.
  
  Produces the simplest version of SIF format.
  
  @param model model to search
  @param out stream to write
  @return true if any output produced successfully