Add regexTdfaRc, acidState, safecopy and unboundedDelays