Make field order consistent with ctor initialisation order
Merge pull request #143 from jeroenk/order

Make field order consistent with ctor initialisation order
Add a note how to speed up SMT query solving
Merge pull request #145 from rsas/bv-note

Add a note how to speed up SMT query solving