compute interesting paths involving the stuck term
compute interesting paths involving the stuck term

ucsd-progsys/nanomaly,ucsd-progsys/nanomaly,ucsd-progsys/nanomaly,ucsd-progsys/nanomaly,ucsd-progsys/nanomaly