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