By using indicators example as a base for testing, one can spot suspicious behavior in the name of the requirement "2.3.4.5 Animations with safe elements must be generated and validated at build time."

Changing the object id values in
A) state

rename car to car1
-> no complaints in build.
-> Runtime just does not do the change

B) transitions

rename car to perkele
-> no complaints in build.
-> Runtime just does the change even the target is named incorrectly