Adding replication degree into winning configuration predicate