Function program_has_epistemic_literals 

pub(crate) fn program_has_epistemic_literals(program: &Program) -> bool