(Internal) Increment exposure record variable: phi
(Internal) Increment exposure record variable: phi
incrementPhi is an internal function for incrementing an exposure record variable. Specifically, the f_k is incremented by one if the following conditions are simultaneously met:
For the final theta segment k, shadowtest assembly was feasible at least one times in any item position while interim theta segment was k.