Broken commit before multi solver in lsd.
Modified state var handling in trans sys.
Cleaned a dirty thing in trans sys.
Fix in PDR.
Merge pull request #203 from AdrienChampion/fix_svar-declaration

Fixed svar unrolling, invGen uses 3 solvers now.
Deactivated expensive sanity checks in lsd.
Merge pull request #204 from AdrienChampion/fix_invgen-no-checks

Deactivated expensive sanity checks in lsd.
Merge with upstream