have multiple path static analysis working.