public boolean isVariableListEqual(int[] variables){
  return Arrays.equals(variables,this.variables);
}

public boolean isVariableListEqual ( int [ ] variables ) { return Arrays . equals ( variables , this . variables ) ; }
returns true iff the given variable list is equal to the variable list of this term .
