Static analysis phase mostly working, but slow.