1Tests that we only generate a bound type if we have relevant users. 2It also tests a code generator regression for GenerateTestAndBranch which 3didn't take into account NullConstants. 4