putting the fastslow condition in the trans to ensure that only FS-safe transitions get included in the winning strategy