Ivory.QuickCheck

check

checkWith

contract