Fix client's instrumentation #2
Description
The actual number of predicates in client code is 13, however 17 are being calculated because of incorrect initialization of the counter for increment_if().
{{ message }}
The actual number of predicates in client code is 13, however 17 are being calculated because of incorrect initialization of the counter for increment_if().