Put deep history propigation into region initiaisation.
Added Choice and Junction pseudo state kinds