In a later commit, I'm changing tc-results so that the pattern matches the whole list instead of the elements so that we don't run into the match bug. That will allow it to be split into two cases with the first being (tc-results: (list t) _ _ dty dbound)