isSubPath determines b is under a. Both paths are evaluated by computing their abs paths.
(a, b string)
source not stored for this graph (policy: none)
no outgoing calls