addendum to the should_be_same fix: we also have to use the same rule for the dynamic...