* tests/transform/struct_detect_test.go: Modified.

 * transform/meta.go,
   transform/struct_detect.go: Modified.

 * tests/transform/struct_detect_test.go: Modified.

Size without type specification.

 * transform/meta.go,
   transform/struct_detect.go: Modified.

 * transform/struct_detect.go: Modified.

 transform/meta.go: Modified.

Ident.Obj can ben nil sometimes and it wasn't checked before.

`print` and `println` was checked in the callgraph, since these two
functions are builtin, no definition couldn't be found, resulting in a
SEGV.

 * tools/recursion.go: Modified.

 * transform/checktype.go: Modified.

Add more specific test on index expressions.

 * tests/transform/in/index_array.go: Modified.

Previously it was not possible to use variable in index expression, it
is now possible by accessing directly `G2PState`.

 * transform/meta.go: Modified.

 * Makefile,
   tests/transform/array_test.go: Modified.

 * test/expected: Modified.

 * transform/meta.go
   transform/util.go: Modified.

 * transform/meta.go: Modified.

 * transform/channels.go,
   transform/meta.go: Modified.

 * transform/desugararray.go: Deleted.

We originally used `DesugarArray` transform to treat array, it is now
replaced by two transform fully operationnal:
 - Array
 - PostArray

 * main.go,
   tests/arrays.go,
   tests/transform/array_test.go,
   transform/array.go,
   transform/meta.go,
   transform/post_array.go: Modified.

 *  tests/transform/in/function_array.go: New File.

 * tests/transform/array_test.go,
   transform/meta.go,
   transform/post_array.go: Here.
 * tests/transfrom/in/index_array.go: Created.

Convert array declarations into single int variables.

 * transform/meta.go: Here.
 * transform/post_array.go: Created.

The first approach is to detect any arrays and store it in meta.

 * transform/array.go: Created.
 * transform/meta.go: Here.

This should make go2pins distributable as a single static binary (or
rather, 2 static binaries, including ltlrec). The `boilerplate/`
directory no longer needs to exist on the user's machine.

Thanks to Baptiste Esteban

* cspinfo/channel.go: Here.

* transform/channels.go: Here.

* benchs/kubernetes.go, benchs/trillian.go: Here.

* cspinfo/channel.go: Here.

* boilerplate/main.go,
transform/channels.go,
transform/meta.go: Here.

* boilerplate/structs/structs.go,
cspinfo/channel.go,
decl/decl.go,
transform/channels.go,
transform/meta.go: Here.

* transform/meta.go: Here.

* main.go, transform/debug.go,
transform/unroll_loop.go: Here.

* main.go, transform/waitgroup.go,
transform/meta.go: Here.

* main.go: Here.

* README.md: Here.

* benchs/extract_results.sh,
benchs/generate-fig.r: Here.

* benchs/run-ltl-bb.sh,
benchs/run-reach-bb.sh: Here

Makefile: here.

* Makefile: Here.