Added out-comented restrictions that are helpful for animating with ProB.