code: public static EncodingResult resultForCleaneLing(final FormulaFactory f, final CleaneLing cleaneLing) {
      return new EncodingResult(f, null, cleaneLing);
    }
docs: Constructs a new result which adds the result directly to a given CleaneLing solver.
  @param f          the formula factory
  @param cleaneLing the CleaneLing solver
  @return the result