f1[Path 1]:f1[Path 1]:
n2 0: Start of execution: Begining Searchn2 0: Start of execution: Beginning Search
3 1: Searching: query3 1: Searching: query
4 2: Searching: snake_wear_snowshoes(Candidate Variable_0)4 2: Searching: snake_wear_snowshoes(Candidate Variable_0)
5 3: Searching: snake(limbless, Candidate Variable_1)5 3: Searching: snake(limbless, Candidate Variable_1)
t6 4: Searching: snowshoes(_, _)t6 4: Found: snake(limbless, serpentine_movement)
7 5: Searching: Candidate Variable_0=false7 5: Searching: snowshoes(Candidate Variable_2, Candidate Variable_3)
8 6: Success: Candidate Variable_0=false8 6: Found: snowshoes(distribute_weight, prevent_sinking)
9 7: Searching: _13878=false
10 8: Found: false=false
11 9: Found: snake_wear_snowshoes(false)
12 10: Searching: false=false
13 11: Found: false=false
9 7Success: query | {'Result': 'true'}14 12Found: query | {'Result': 'Yes'}
15 
Legends
Colors
 Added 
Changed
Deleted
Links
(f)irst change
(n)ext change
(t)op