experiments in user interfaces around control flow graphs - View it on GitHub