Bin constraint generation should be fine (apart from randomization), check child generation