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