Add debugging information to flow analyses