Switch upper/lower bounds #28
Description
Within FPCF, bottom is the "worst" value, or most imprecise value, and top is the best/most precise one.
E.g. for a call graph, bottom is the set of all edges, and top the empty set.
Thus, a lower bound would be the set of edges that can be included at worst, an the upper-bound the set that must be included according to the analysis.
In most related work, in particular in the field of abstract interpretation, this is vise-versa.
We should refactor the whole framework as well as all analyses, such that we use the terms common in literature.