Base and step now add valid props as invariants.
Removing obsolete update_trans_sys_tsugi in event.