more victorious victories of victoriatude with easycrypt