private static void collectionClear(DfaValueFactory factory, DfaMemoryState state, DfaCallArguments arguments) {
    DfaVariableValue size = tryCast(COLLECTION_SIZE.createValue(factory, arguments.myQualifier), DfaVariableValue.class);
    if (size != null) {
      updateState(state, size, DfTypes.intValue(0));
    }
  }
private static void collectionClear(DfaValueFactory factory, DfaMemoryState state, DfaCallArguments arguments)