private void makeStateAccessExplicit(final AModuleDeclIR module) throws AnalysisException { final AStateDeclIR stateDecl = getStateDecl(module); if (stateDecl == null) { // Nothing to do return; } module.apply(new SlStateAccessTrans(stateDecl, info, transAssistant)); }