Predicate Coupling::depends

whether t depends on u

predicate depends(ValueOrRefType t, ValueOrRefType u)