Tactic `coupling`, a more general `rnd` tactic#805

namasikanam wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

coupling-rnd-tacticsEasyCrypt/easycrypt:coupling-rnd-tacticsCopy head branch name to clipboard