The if-else cases in lsqr.py were not exhaustive. They become exhaustive by changing ab > aa to ab >= aa.
#include <utilities/counter.h>
static Counter* cTestElaborate = GetCounter("test/elaborate");
static Counter* cTestBasic = GetCounter("test/basic");
static Counter* cTestBasicSub = GetCounter("test/basic/sub");
int main()
{
SetFrequency(cTestBasic, 2);
Count(cTestBasic);
Count(cTestBasicSub);
Count(cTestBasicSub);
Count(cTestBasicSub);
Count(cTestElaborate);
Count(cTestBasic);
Count(cTestElaborate);
Count(cTestBasic);
Count(cTestBasic);
CountNum(cTestBasic, 25);
CountNum(cTestBasic, 132);
CountNum(cTestBasic, 25);
CountNum(cTestBasic, 121);
CountNum(cTestBasic, 132);
CountNum(cTestBasic, 25);
SetTrigger(cTestBasic, &rootCounter);
Count(cTestBasic);
Count(cTestBasic);
SetFrequency(cTestElaborate, 3);
Count(cTestElaborate);
}