public static TypedOperation createInitializedArrayCreation(ArrayType arrayType,int size){
  List<Type> typeList=new ArrayList<>();
  for (int i=0; i < size; i++) {
    typeList.add(arrayType.getComponentType());
  }
  TypeTuple inputTypes=new TypeTuple(typeList);
  return new TypedTermOperation(new InitializedArrayCreation(arrayType,size),inputTypes,arrayType);
}

public static TypedOperation createInitializedArrayCreation ( ArrayType arrayType , int size ) { List < Type > typeList = new ArrayList < > ( ) ; for ( int i = 0 ; i < size ; i ++ ) { typeList . add ( arrayType . getComponentType ( ) ) ; } TypeTuple inputTypes = new TypeTuple ( typeList ) ; return new TypedTermOperation ( new InitializedArrayCreation ( arrayType , size ) , inputTypes , arrayType ) ; }
creates an operation that creates an array of the given type and size .
