private Term getSmtIdentifier( final String id, final DeclarationInformation declInfo, final boolean isOldContext, final BoogieASTNode boogieASTNode) { if (mQuantifiedVariables.containsKey(id)) { return mQuantifiedVariables.get(id); } else { for (final IdentifierTranslator it : mSmtIdentifierProviders) { final Term term = it.getSmtIdentifier(id, declInfo, isOldContext, boogieASTNode); if (term != null) { return term; } } throw new AssertionError("found no translation for id " + id); } }