Add a nondeterministic feedback for TERTS.