@Override public String declareUniqueNameVariable(Object key, String proposedName) { return state.declareUniqueNameVariable(key, proposedName); }
@Override public String declareUniqueNameVariable(Object key, String proposedName) { return state.declareUniqueNameVariable(key, proposedName); }