A Decision Procedure for Equality Logic with Uninterpreted Functions