cs-gen Assoc Protocol only requires target of Assoc is also Protocol