A Recognizer of Rational Trace Languages