RELY制約の検証