Implementation of a Fast Congruence Closure Algorithm