Let's put a `REQUIRE` here for two children in nodes that are not nominal together with a nice error message.