def _symb(self, v_name, v_type):
    v_name = '{}_{}'.format(self.name, v_name)
    return decl_consts(self.menv, v_name, v_type)
def _symb(self, v_name, v_type):
    v_name = '{}_{}'.format(self.name, v_name)
    return decl_consts(self.menv, v_name, v_type)