Add a comment explaining why we are inlining functions with loops in ElimGraph