[skybrian]

It's not really written backwards; it's just equivalent to a different if statement. Something like this:

if (want: edge Y X) { search for: edge X Y }

This is searching in reverse compared to a different if statement:

if (have: edge X Y) { assert: edge Y X }