Downward closure, intersection between CFG and FA.