Coverage for BehaviorSet