Function classify_recursive_epistemic_program 

pub fn classify_recursive_epistemic_program(
    program: &Program,
) -> Result<RecursiveEpistemicClass>

Classify ordinary and modal dependency cycles in an epistemic program.

Returns a typed [XlogError::UnsupportedEpistemicConstruct] for a recursive shape outside the supported ordinary, co-evolving, or modal-cycle fragments.