Inputs and UT for AtClauseOrderCheck #7