tests: produce output (and add reference output) for loop analysis tests
tests: get rid of undefined behavior (dependence on evaluation order) in varargs.c