added new fake_sets to enable infinite and large sets in b solutions. They will be enumerated as late as possible