transformation `apply` and similar ones shuold display the name of missing arguments
When using apply
or rewrite
, if they are unmatched quantified variables, the error message
simply says there are n terms missing
. It should display their names.