Predicate Http :: routeHandlerStep
Holds if there exists a step from pred
to succ
for a RouteHandler - beyond the usual steps defined by TypeTracking.
Import path
import javascript
predicate
routeHandlerStep
(
SourceNode
pred
,
SourceNode
succ
)