def walk_or(self, formula, args, **kwargs):
res = yicespy.yices_or(len(args), args)
self._check_term_result(res)
return res
def walk_or(self, formula, args, **kwargs):
res = yicespy.yices_or(len(args), args)
self._check_term_result(res)
return res