enabeld new animation (fixed). This is still not correct for nondeterminism