// The above loads a module, this one gets that module and subsequently updates its alphabet.
ErlangModule mod = ErlangModule.findModule(evalConf.config.getErlangModuleName());
final ErlangLabel initLabel = mod.behaviour.convertErlToMod(AbstractLearnerGraph.generateNewLabel("{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'}", evalConf.config,evalConf.getLabelConverter())),
labelLock = mod.behaviour.convertErlToMod(AbstractLearnerGraph.generateNewLabel("{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}", evalConf.config,evalConf.getLabelConverter()));
final ErlangLabel labelInvalidRead = new ErlangLabel(labelLock.function,labelLock.callName,labelLock.input,new OtpErlangInt(88));
statechum.Helper.checkForCorrectException(new statechum.Helper.whatToRun() {
public @Override void run() {
learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock,labelInvalidRead}));
}},IllegalArgumentException.class,"does not belong");
}