pub fn prepare_epistemic_program(
program: &Program,
) -> Result<PreparedEpistemicProgram>Expand description
Validate authored contracts before semantics can remove a rule, then exclude only positive exact-tuple FAEEL self-support with no independent founded support.