fix JavaDoc and simplify it.

Author: kfriedberger

src/org/sosy_lab/java_smt/solvers/smtinterpol/SmtInterpolEnvironment.java

@@ -344,7 +344,7 @@ public Iterable<Term[]> checkAllSat(Term[] importantPredicates) throws Interrupt
     return script.checkAllsat(importantPredicates);
   }
 
-  /** This function returns a map, that contains assignments term->term for all terms in terms. */
+  /** This function returns a map, that contains assignments for all terms. */
   public Model getModel() {
     try {
       return script.getModel();