public static TypedOperation createArrayCreation(ArrayType arrayType){
  List<Type> typeList=new ArrayList<>();
  typeList.add(JavaTypes.INT_TYPE);
  TypeTuple inputTypes=new TypeTuple(typeList);
  return new TypedTermOperation(new ArrayCreation(arrayType),inputTypes,arrayType);
}

public static TypedOperation createArrayCreation ( ArrayType arrayType ) { List < Type > typeList = new ArrayList < > ( ) ; typeList . add ( JavaTypes . INT_TYPE ) ; TypeTuple inputTypes = new TypeTuple ( typeList ) ; return new TypedTermOperation ( new ArrayCreation ( arrayType ) , inputTypes , arrayType ) ; }
creates a simple array creation operation for the given type .
