Assertions which try to automate asserting the possible variations that can be inferred (ex enum values)