Function require_term_is 

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