v8.4: Fixing #3657 (check that both sides of a "change with" have the
same type, what is necessary condition to ensure that the conversion
of bodies will not raise an anomaly).
v8.4: Alerting that Show Tree is deactivated.