public CatchBlockProxy(CatchBlock node) { ContractUtils.RequiresNotNull(node, nameof(node)); _node = node; }