Thanks all for the reviews! Both points regarding the upper-level Var and the planning cost make sense. Attached is an updated patch fixing both, following the approach discussed here.
- Richard
v2-0001-Prove-a-NOT-IN-s-left-hand-expressions-non-nullab.patch
Description: Binary data
