Better modelling of predicate cache R/W