update examples and tests
fix animation representation
update precondition