Have you verified that at runtime it works properly? Our understanding is that it might not always work in our implementation and thus the restriction at the level of `valid_operands'.