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