Pulled an interface for InfowflowCFG