Merge pull request #170 from AdrienChampion/invGen

Inv gen merge
Base and step now add valid props as invariants.
Removing obsolete update_trans_sys_tsugi in event.
Merge pull request #171 from AdrienChampion/bugfix_kind-valids-as-invariants

Bugfix kind valids as invariants
Merge remote-tracking branch 'upstream/develop' into invGen
Merge remote-tracking branch 'upstream/inv-gen' into invGen
Merge with develop.