Improved C parsing. C litmus tests are now provided in a "linear" form, i.e. a sequence of C functions rather than a grid of assembly threads. Fixed the insertion of prog_order edges so as not to skip indexes.