Added snippet for CedarDoubles stub_method