I'm still reading the code, but is there a case where someone would pass in a PlatformmetricProvider, but then it returns pp.incrementor(_,_,_) returns None?