def walk_bv_rol(self, formula, args, **kwargs): res = yicespy.yices_rotate_left(args[0], formula.bv_rotation_step()) self._check_term_result(res) return res