Holds if the current element is reachable from src.
src
predicate reachableFrom(ControlFlowElement src)