The AllPaths automated reasoning procedure with clause trees