there is no result form. Also, just read the var in the spurious let, instead of using IGNORABLE, since the var might be special.
there is no result form. Also, just read the var in the spurious let, instead of using IGNORABLE, since the var might be special.