variable-dependency support

graph module with some unimplemented features
・switch
・inner class
・synchronized

[bugs]
・field nodes are not gathered