in source/Model.cpp [411:419]
bool Model::empty() const {
return modes_.empty() && generations_.is_bottom() &&
parameter_sources_.is_bottom() && sinks_.is_bottom() &&
propagations_.is_bottom() && global_sanitizers_.is_bottom() &&
port_sanitizers_.is_bottom() && attach_to_sources_.is_bottom() &&
attach_to_sinks_.is_bottom() && attach_to_propagations_.is_bottom() &&
add_features_to_arguments_.is_bottom() && inline_as_.is_bottom() &&
issues_.is_bottom();
}