Added IceRestart constraint.