Chen's algorithm seems to be working now.
Results will need to be verified with the original (non-MR) version of
TPDA