1Check that we can optimize interface calls without
2requiring the verifier to sharpen them.
3