diff --git a/com.ibm.wala.core/src/com/ibm/wala/logic/FunctionTerm.java b/com.ibm.wala.core/src/com/ibm/wala/logic/FunctionTerm.java
index e557f4a6d..753c2589f 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/logic/FunctionTerm.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/logic/FunctionTerm.java
@@ -61,7 +61,8 @@ public class FunctionTerm implements ITerm {
   }
   
 
-  public static ITerm make(IFunction f, List<ITerm> terms) {
+  public static FunctionTerm make(IFunction f, List<ITerm> terms) {
+	assert f.getNumberOfParameters() == terms.size();
     return new FunctionTerm(f, terms);
   }