fn diagnose_allowed_scopes( scopes: &[CallScope], to: Option<Address>, selector: Option<[u8; 4]>, recipient: Option<Address>, ) -> DoctorStep