Improved Not Triv Elim Algorithm

Replaced position of while statement , so it is not entered into if Non
Triv Elim team has been found