forArgument
fun forArgument(context: ExecutionContext, procedure: Signature, variable: Var, index: Int? = null): InstantiationError
Creates an InstantiationError reporting that the (optionally index-th) argument of procedure, variable, is unexpectedly unbound.