pub fn split_epistemic_program(program: &Program) -> Result<EpistemicSplitPlan>Expand description
Partition an epistemic program into independently-evaluable components.
Builds the epistemic dependency graph (coalescing rules that couple distinct
epistemic body predicates into one component) and returns an
EpistemicSplitPlan describing which output heads evaluate together versus
in isolation. This is the entry point for the safe-split / joint-solving and
stratified-execution routing decisions in the GPU driver.