Trying to fix the ctrl-decomp and reduced ARE solver. Some progress, but still some false positives.