When we have an expression

traverseF(s9, lambda(l101.0) { ((move(l101.0) <= s13) ?: false) }, false)

where the s9 argument is typed as not being an array value, the code is equivalent to directly invoke the lambda, so we can remove it from the code