Implement writer support for Loops, Induction Variables, and CallGraphs