Description
When invoking CFGWithAnaysisResults.getAnalysisStateBefore(statement), the returned value is the least upper bound of the post states of all its predecessors. The list of predecessors are calculated through the adjacency matrix, and this is a problem for non-root statements: since they don't represent a node of the graph, the matrix's computation will throw an exception. Whenever the pre-state of a non-root statement is queried, we have to handle this specific case.