Create loop_invariant.cpp