I now have one frac for each predicate. Instead of frac[this, OKP] and frac[this, ShareCountP] I have two global variables fracOKP[this] and fracShareCountP[this]