make defaultDisp threadsafe
make defaultDisp threadsafe
include direction information in edge predicates.