Shell check has been improved to use well-known width-first search. It significantly reduces computation time on the big shells. Test case has been added. Minor correction in test case