Function classify_recursive_epistemic_program 

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

Classify an epistemic program’s ordinary recursion as non-recursive or Case A.

Returns a typed [XlogError::UnsupportedEpistemicConstruct] for any recursive shape outside Case A (recursion through a derived/recursive or epistemic relation, a negated modal literal in a recursion-participating rule, etc.).