Fine-tune an assertion.

In this case, we only care about variable references (A->type() == Argument::Variable); ignore everything else.
Add an assertion with *no* variable references.