Got the following program for depthsearch, however the depthsearch predicate is always marked as red, so I am unable to run the program. What is the issue?
no
