Switch off contract checking in all RDL code intended to be called from user code (pre, post, type, rdl_alias, type_params, plus method_added was already done).
Switch off contract checking in all RDL code intended to be called from user code (pre, post, type, rdl_alias, type_params, plus method_added was already done).

plum-umd/rdl