Mark analyses that only depend on the CFG of a function