void (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)); } }