Fixed bug in instrumenter that didn't count logp_xnext_full