Finish CFG utility functions