Exclusion genearation is working