@Override
    public void endTranslation(Object obj, Code dest) {
        dest.emit(constrType, constr);
    }
@ Override public void endTranslation ( Object obj , Code dest ) { dest . emit ( constrType , constr ) ; }
actually invoke. *