Class BackwardCFGFixpoint<A extends AbstractState<A>>