Remove unused argument to tc/rec-lambda/check.