sources/cg_c.c (3 lines):
	- line 4327: // TODO: I think we can prove that it's always true in the code block we are in
	- line 4361: // TODO: I think we can prove that it's always true in the code block we are in
	- line 4376: // TODO: can we make this an invariant?