Function require_term_is_owned 

pub(crate) async fn require_term_is_owned<'db>(
    env: &mut Env<'db>,
    term: SymGenericTerm<'db>,
    or_else: &dyn OrElse<'db>,
) -> Errors<()>