CFGBuilder.java: Used ASTNode.getNodeType()