public static TypedOperation createCast(Type fromType,Type toType){
  List<Type> typeList=new ArrayList<>();
  typeList.add(fromType);
  TypeTuple inputTypes=new TypeTuple(typeList);
  return new TypedTermOperation(new UncheckedCast(toType),inputTypes,toType);
}

public static TypedOperation createCast ( Type fromType , Type toType ) { List < Type > typeList = new ArrayList < > ( ) ; typeList . add ( fromType ) ; TypeTuple inputTypes = new TypeTuple ( typeList ) ; return new TypedTermOperation ( new UncheckedCast ( toType ) , inputTypes , toType ) ; }
creates an operation to cast from one type to another .
