Rule names that occur in a repetition.
(repetition-called-rules repetition) → rulenames
Function:
(defun repetition-called-rules (repetition) (declare (xargs :guard (repetitionp repetition))) (element-called-rules (repetition->element repetition)))