Fix Access, InfoFlow and DRefine.