Document precondition for counter vector union.
Add missing include.