Holds if the given scope has a model as identified by the provided predicate model.
Import path
import modeling.Utilpredicate hasModel(RelevantScope scope)Holds if the given scope has a model as identified by the provided predicate model.
import modeling.Utilpredicate hasModel(RelevantScope scope)