Function term_is_provably 

pub(crate) async fn term_is_provably<'db>(
    env: &mut Env<'db>,
    term: impl Into<SymGenericTerm<'db>>,
    predicate: Predicate,
) -> Errors<bool>