Text this: An interpolating decision procedure for transitive relations with uninterpreted functions