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

Make field order consistent with ctor initialisation order
Handle instruction UB on the RHS correctly
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
Merge pull request #133 from rsas/rhs-ub

Handle instruction UB on the RHS correctly
Merge remote-tracking branch 'origin/master' into synthesis-pass-support