found a bug in the analyzer recursive call, fixed it ( not all roots mattered, now they do)