pub fn brave_consequences(models: &[u64]) -> u64
Brave (credulous) consequences: the atoms in SOME answer set (bit-OR of all models).