-
David Hauzar authored
When a variable is introduced in WP and no model data (counterexample data) are collected for this variable, do not propagate model labels to it. This prevents, e.g., projecting this variable, displaying this variable in counterexample, ...
a330453c