Encode every component of a product state with own counter. This might be helpful for smaller circuits.