SZS status Theorem for i/f/relation/WF__TC__EQN
