pub fn try_prepare_g91_compatibility_reduction(
prepared: &PreparedEpistemicProgram,
) -> Result<Option<G91CompatibilityReduction>>Expand description
Build the explicit tuple-level Gelfond-1991 compatibility reduction, when the
prepared program contains a supported positive possible dependency cycle.