Predicate InappropriateIntimacy::candidateTypePair

predicate candidateTypePair(RefType source, RefType target)