Predicate FeatureEnvy::dependsOn

predicate dependsOn(RefType source, RefType target)