Temporary fix to the test for issue211.
Temporary fix to the test for issue211.

We should either decide that the semantics of `#` requires it to be
strict in its arguments, or we should fix the definition.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol