add two conditions for generating vertex in circular pattern finder; debugged mayDeadlock() method in both finders