static reachable bug
working on the analysis