Fix somagic analyzer so that all tests pass.