let eq s a b =
    Term.eq (term s a) (term s b)