withArgs package:sbv
Uninterpret a value, with named arguments in case of functions. SBV
will use these names when it shows the values for the arguments. If
the given names are more than needed we ignore the excess. If not
enough, we add from a stock set of variables.