in source/Model.cpp [864:876]
bool Model::leq(const Model& other) const {
return modes_.is_subset_of(other.modes_) &&
generations_.leq(other.generations_) &&
parameter_sources_.leq(other.parameter_sources_) &&
sinks_.leq(other.sinks_) && propagations_.leq(other.propagations_) &&
global_sanitizers_.leq(other.global_sanitizers_) &&
port_sanitizers_.leq(other.port_sanitizers_) &&
attach_to_sources_.leq(other.attach_to_sources_) &&
attach_to_sinks_.leq(other.attach_to_sinks_) &&
attach_to_propagations_.leq(other.attach_to_propagations_) &&
add_features_to_arguments_.leq(other.add_features_to_arguments_) &&
inline_as_.leq(other.inline_as_) && issues_.leq(other.issues_);
}