The node you are looking for is at EasyCrypt weak-check mode.