Make TDFA imports explicit.