Correctly handle Inclusion when choosing a variant of FLASH